词条 德摩根定律

德摩根定律

德摩根定律在数理逻辑的定理推演中,在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究,这巩固了德摩根作为该规律的发现者的地位,尽管亚里士多德也曾注意到类似现象、且这也为古希腊与中世纪的逻辑学家熟知(引自Bocheński《形式逻辑历史》)。

德摩根定律相关文献
奥古斯塔斯·德摩根
生平童年他生于印度马德拉斯行政区(英语:MadrasPresidency)。其父在东印度公司工作,母亲是詹姆斯·多德森(英语:JamesDodson)(曾编制反对数表)的后代。其姓氏中的“de”可作介词用,相当于英文的“of”;而“Morgan”本意为“早晨”。在他7个月大时,全家迁回英国。10岁时,父亲去世,她母亲带他搬到英国西部。其数学才华一直未被发现,直至十四岁时,一位家庭的朋友意外发现他精心绘制的尺规作图。他有一目失明。于是他求学时期没有参与任何体育活动,因此被同学取笑。他的母亲是英国教会的活跃分子,寄望儿子成为牧师。而他的中学老师,毕业于牛津大学奥里尔学院的帕森斯,是个擅长古典文学多于数学的人。可是他都不受这些长辈的影响。大学教育1823年,16岁的他进入剑桥大学三一学院,与乔治·皮库克和威廉·修艾尔成为终身的好朋友。他受皮库克影响,引起了对代数和逻辑的兴趣。他主要的娱乐是笛。伦...
查看全文
德摩根奖章
获奖者名单1884阿瑟·凯莱1887詹姆斯·约瑟夫·西尔维斯特1890瑞利勋爵1893菲利克斯·克莱因1896塞缪尔·罗伯茨(英语:SamuelRoberts(mathematician))1899威廉·伯恩赛德(英语:WilliamBurnside)1902艾尔弗雷德·乔治·格林希尔(英语:A.G.Greenhill)1905亨利·弗雷德里克·贝克1908詹姆斯·惠特布雷德·李·格莱舍1911贺拉斯·兰姆1914约瑟夫·拉莫尔1917威廉·亨利·扬(英语:W.H.Young)1920欧内斯特·威廉·霍布森(英语:E.W.Hobson)1923珀西·亚历山大·麦克马洪(英语:P.A.MacMahon)1926乐甫1929戈弗雷·哈罗德·哈代1932伯特兰·罗素1935埃德蒙·泰勒·惠特克(英语:E.T.Whittaker)1938约翰·恩瑟·李特尔伍德1941路易斯·乔尔·莫德尔(英语:L...
查看全文
摩根奖
历年获奖名单
查看全文
德摩根定律
形式表示形式逻辑中此定律表达形式:在集合论中:详细解释在经典命题逻辑的外延中,此二元性依然有效(即对于任意的逻辑运算符,我们都能找他它的对偶),由于存在于调节否定关系的恒等式中,人们总会引入作为一个算符的德摩根对偶的另一个算符。这导致了基于传统逻辑的逻辑学的一个重要性质,即否定范式的存在性:任何公式等价于另外一个公式,其中否定仅出现在作用于公式中非逻辑的原子时。否定常型的存在推进了许多应用,例如在数字电路设计中该性质用于操纵逻辑门,以及在形式逻辑中该性质是寻找一个公式的合取范式和析取范式的必要条件;电脑程序员们则用它们将一个类似于IF...AND(...OR...)THEN...这样的复杂语句转变为其对等形式;它们也同样经常用于初等概率论中的计算。我们将基于基本命题p,q的任意命题算符P(p,q,...)的对偶定义为:该概念可以推广到逻辑量词上,例如全称量词和存在量词互为对偶:为对德摩根定...
查看全文
摩根敦
自然环境地理位置摩根敦位于美国中大西洋地区。以摩根敦为中心,500mi(800km)为半径,所画出的圆中包含了超过一半的美国人口和超国三分之一的加拿大人口。在摩根敦市一日车程以内的的美国主要城市有:匹兹堡,约121千米(75英里));华盛顿特区,约335km(208mi);哥伦布市,约328km(204mi)。摩根顿距离西维吉尼亚州首府查理斯顿约250km(160mi)。土地疆域根据美国人口调查局统计资料,摩根敦市总面积为10.62平方英里(27.51平方千米);其中,陆地面积是10.17平方英里(26.34平方千米)、水域面积为0.45平方英里(1.17平方千米)。交通摩根敦有两条主要州际公路经过,南北向的79号州际公路和纵向的68号州际公路。79号州际公路北通匹兹堡、伊利湖区,南可达查尔斯顿、莱克星顿。摩根敦是68号州际公路的起点,本公路往东可达马里兰州的坎伯兰等地。通过摩根敦市的美国...
查看全文
德摩根定律相关标签
布尔代数
逻辑
对偶理论
1 / 1
家族谱大览
南阳叶氏宗谱 [39卷,首末各1卷]
原书 : [出版地不详] : 崇本堂, 清干隆38[1773]. 存22册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心. 此谱不全. 缺卷17-18, 20-22, 27-29, 34-36. 此谱拍摄次序颠倒杂乱为 : 1-13(影像p6起), 23-25(影像p1462起), 13-16(影像p1196起), 26(影像p1997起), 19(影像p2121起), 30-33(影像p2250起), 37-39(影像p2410起). 一世远祖 : (汉) 叶尤,字善德. 始祖(32世) : (唐) 叶林秀,字实夫,晚号慕潜斋. 由歙迁婺东之忠平. 派祖(36世) : (唐宋之际) 叶文义,字世质. 义公下有五子 : (宋) 叶正初,字有初 ; 叶正和,字有容 ; 叶正先,字有开 ; 叶正春 ; 叶正蒙. 明堂派支祖(49世) : (元明之际) 叶东远,行高五,字德征. 正初公之后. 济岭派支祖(46世) : 叶沈. 鳙源派支祖(50世) : (元明之际) 叶如雷,行礼三,字震远. 阳墩派支祖(45世) : (宋) 叶顺之,字森道,号元涧. 禄源派支祖(44世) : (宋) 叶养顺,字惟受. 开邑西源派支祖(40世) : (元) 叶仁,行四,字子居 ; 叶德,行四六,字子全 ; 叶琰,行十八,字季瑶(德公之长子). 霞城派支祖(37世) : 叶正春,行小十三,字有生. 歙西岩镇派支祖(57世) : (明) 叶世安,字云登. 武溪派支祖(51世) : 叶立存. 浮梁浇溪派支祖(41世) : 叶琦,行小五,字孟文. 德公第二子. 德兴三溪派支祖(44世) : 叶坤泰,行二十三,字元吉,又名埙儒. 注 : 婺源县曾属安徽省, 现属江西省. 散居地 : 江西省婺源县, 浮梁县, 德兴县, 及浙江省开化县等地. 书名据书签题, 及版心题编目. 卷端题 : 南阳叶氏正宗谱.
浏览:0
南阳叶氏宗谱 [39卷,首末各1卷]
原书 : [出版地不详] : 崇本堂, 清干隆38[1773]. 存22册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心. 此谱不全. 缺卷17-18, 20-22, 27-29, 34-36. 此谱拍摄次序颠倒杂乱为 : 1-13(影像p6起), 23-25(影像p1462起), 13-16(影像p1196起), 26(影像p1997起), 19(影像p2121起), 30-33(影像p2250起), 37-39(影像p2410起). 一世远祖 : (汉) 叶尤,字善德. 始祖(32世) : (唐) 叶林秀,字实夫,晚号慕潜斋. 由歙迁婺东之忠平. 派祖(36世) : (唐宋之际) 叶文义,字世质. 义公下有五子 : (宋) 叶正初,字有初 ; 叶正和,字有容 ; 叶正先,字有开 ; 叶正春 ; 叶正蒙. 明堂派支祖(49世) : (元明之际) 叶东远,行高五,字德征. 正初公之后. 济岭派支祖(46世) : 叶沈. 鳙源派支祖(50世) : (元明之际) 叶如雷,行礼三,字震远. 阳墩派支祖(45世) : (宋) 叶顺之,字森道,号元涧. 禄源派支祖(44世) : (宋) 叶养顺,字惟受. 开邑西源派支祖(40世) : (元) 叶仁,行四,字子居 ; 叶德,行四六,字子全 ; 叶琰,行十八,字季瑶(德公之长子). 霞城派支祖(37世) : 叶正春,行小十三,字有生. 歙西岩镇派支祖(57世) : (明) 叶世安,字云登. 武溪派支祖(51世) : 叶立存. 浮梁浇溪派支祖(41世) : 叶琦,行小五,字孟文. 德公第二子. 德兴三溪派支祖(44世) : 叶坤泰,行二十三,字元吉,又名埙儒. 注 : 婺源县曾属安徽省, 现属江西省. 散居地 : 江西省婺源县, 浮梁县, 德兴县, 及浙江省开化县等地. 书名据书签题, 及版心题编目. 卷端题 : 南阳叶氏正宗谱.
浏览:0
南阳叶氏宗谱 [39卷,首末各1卷]
原书 : [出版地不详] : 崇本堂, 清干隆38[1773]. 存22册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心. 此谱不全. 缺卷17-18, 20-22, 27-29, 34-36. 此谱拍摄次序颠倒杂乱为 : 1-13(影像p6起), 23-25(影像p1462起), 13-16(影像p1196起), 26(影像p1997起), 19(影像p2121起), 30-33(影像p2250起), 37-39(影像p2410起). 一世远祖 : (汉) 叶尤,字善德. 始祖(32世) : (唐) 叶林秀,字实夫,晚号慕潜斋. 由歙迁婺东之忠平. 派祖(36世) : (唐宋之际) 叶文义,字世质. 义公下有五子 : (宋) 叶正初,字有初 ; 叶正和,字有容 ; 叶正先,字有开 ; 叶正春 ; 叶正蒙. 明堂派支祖(49世) : (元明之际) 叶东远,行高五,字德征. 正初公之后. 济岭派支祖(46世) : 叶沈. 鳙源派支祖(50世) : (元明之际) 叶如雷,行礼三,字震远. 阳墩派支祖(45世) : (宋) 叶顺之,字森道,号元涧. 禄源派支祖(44世) : (宋) 叶养顺,字惟受. 开邑西源派支祖(40世) : (元) 叶仁,行四,字子居 ; 叶德,行四六,字子全 ; 叶琰,行十八,字季瑶(德公之长子). 霞城派支祖(37世) : 叶正春,行小十三,字有生. 歙西岩镇派支祖(57世) : (明) 叶世安,字云登. 武溪派支祖(51世) : 叶立存. 浮梁浇溪派支祖(41世) : 叶琦,行小五,字孟文. 德公第二子. 德兴三溪派支祖(44世) : 叶坤泰,行二十三,字元吉,又名埙儒. 注 : 婺源县曾属安徽省, 现属江西省. 散居地 : 江西省婺源县, 浮梁县, 德兴县, 及浙江省开化县等地. 书名据书签题, 及版心题编目. 卷端题 : 南阳叶氏正宗谱.
浏览:0
罗源陈氏分修宗谱 [5卷,首1卷]
原书: [出版地不详 : 出版者不详], 民国9[1920]. 存5册:插图, 世系表. 颖川祖: 陈实,字仲弓. 为太邱长. 迁浮始祖(1世): (唐) 陈轶,又名彦文(盐仓派祖). 赠英烈侯,邑人立祠在浮城北隅,子孙因家浮梁. 浮北韩潭派下支祖(31世): (明清之际) 陈尚瞬 ; 陈尚德 ; 陈尚贤. 六都罗家山派下支祖(31世): (明清之际) 陈宗杰(梅树下双河派) ; 陈尚会(南源派) ; 陈宗嵩(庵前坞派) ; 陈宗昌(九都中坞派) ; 陈思孝(32世,纸房派)...等. 派行似为(31-37): 尚思文世光 继先. 罗家山续编派行(38-47世): 运启良芳振 时新兆际洪. 注: 罗家山派元居韩潭, 后分迁建德(亦名罗源,旧秋浦县,今安徽省至德县)罗家山. 注: 此谱缺卷1(像引, 统宗世系等). 1-30世记事资料皆无. 书名据谱序题编目. 书衣题及版心题: 陈氏宗谱. 其他谱序题: 陈氏重修宗谱. 散居地: 江西省浮梁县, 及安徽省至德县等地.
浏览:0
马源戴氏支谱 十二卷首末各一卷
原书: [出版地不详] : 树德堂 , 民国16[1927]重修. 23册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心 始祖(1世) : (唐) 戴护,名仲仪,字邦卫. 始迁祖(6世) : (宋) 戴匡德,行三,名侨,字正仁. 由乐之凰柏源卜居马源. 生子六. 匡德公派下支祖(10世) : (宋) 戴广,行昌. 为匡德公第二子令陈公之后. 生子一 : 戴沂,行胪. 广公派下房祖(13世) : (宋) 戴仲周,行声 ; 戴仲晋,行声. 仲周公派下支祖(16世) : (宋) 戴敬仁,行经 ; 戴敬义,行经 ; 戴敬智,行经. 仲晋公派下支祖(16世) : (宋) 戴敬孝,行经. 行字母 : 先护绵启荫 三望肇荣昌 胪唱声名重 经传诗礼芳 英词敷藻翰 伟绩着旌常 秀毓芝兰并. 散居地 : 江西省乐平县等地. 书名据版心题编目. 书名页题, 及目录题 : 广公支谱. 卷端题 : 星江马源戴氏广公支谱.
浏览:100
马源戴氏支谱 十二卷首末各一卷
原书: [出版地不详] : 树德堂 , 民国16[1927]重修. 23册 : 插图, 世系表. 收藏所 : 太原市寻源姓氏文化研究中心 始祖(1世) : (唐) 戴护,名仲仪,字邦卫. 始迁祖(6世) : (宋) 戴匡德,行三,名侨,字正仁. 由乐之凰柏源卜居马源. 生子六. 匡德公派下支祖(10世) : (宋) 戴广,行昌. 为匡德公第二子令陈公之后. 生子一 : 戴沂,行胪. 广公派下房祖(13世) : (宋) 戴仲周,行声 ; 戴仲晋,行声. 仲周公派下支祖(16世) : (宋) 戴敬仁,行经 ; 戴敬义,行经 ; 戴敬智,行经. 仲晋公派下支祖(16世) : (宋) 戴敬孝,行经. 行字母 : 先护绵启荫 三望肇荣昌 胪唱声名重 经传诗礼芳 英词敷藻翰 伟绩着旌常 秀毓芝兰并. 散居地 : 江西省乐平县等地. 书名据版心题编目. 书名页题, 及目录题 : 广公支谱. 卷端题 : 星江马源戴氏广公支谱.
浏览:100