词条 奥古斯塔斯·德摩根

奥古斯塔斯·德摩根

奥古斯塔斯·德摩根(Augustus De Morgan,1806年6月27日-1871年3月18日,英语发音[ɔːˈgʌstəs də ˈmɔːgən]),英国数学家、逻辑学家。他明确陈述了德摩根定律,将数学归纳法的概念严格化。他生前多以报刊评论员的身份而知名。

奥古斯塔斯·德摩根简介资料
1806年06月27日
John Philips Higman
托马斯·寇文·门登哈尔、艾萨克·托德夯特
La Casa
1871年03月18日
爱德瓦·劳斯
奥古斯塔斯·德摩根相关文献
奥古斯塔斯·德摩根
生平童年他生于印度马德拉斯行政区(英语: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...
查看全文
韦斯·摩根
生涯诺丁汉森林摩根在2002年为诺丁汉森林效力期间摩根在诺丁汉出生,早在学童时期已加入当地的诺茨郡,但于15岁时因不获诺茨郡提供学徒合约而回到校园,只在课余为非联赛球队敦克尔克(Dunkirk)效力,期间被诺丁汉森林的球探发掘,获邀加入特伦特河(RiverTrent)对岸的诺丁汉森林青训学院。摩根由青年队逐步提升上预备队,由于表现出色而被时任主教练保罗·赫特(PaulHart)视为未来一队人选,于2003年2月27日年仅19岁的摩根获借用到丙组〈第4级〉的京达米士特1个月汲取上场经验,于3月1日主场1-3负于斯坎索普首次上场;3月15日作客对剑桥联,摩根在远柱顶入为球队锁定2-0胜局兼取得个人首个联赛进球。2003/04年赛季摩根开始正式晋级一队,于2003年8月12日于英格兰联赛杯第一轮作客韦尔港首次获派上场;8月16日作客0-3负于雷丁首次在联赛上场。与摩根在后防中路拍档的队友包括老将...
查看全文
摩根斯·哥洛
球会生涯1991年布隆德比签下了哥洛,以填补舒米高转投曼联后的空缺。于1995-96年的丹麦超级联赛,哥洛于对争标对手阿晓士的关键赛事中攻入一球扳平,令布隆德比最终以一分之差压倒对手,重夺失落四年的锦标。哥洛足球生涯的另一亮点乃于1998-99欧联分组赛主场协助布隆德比以2:1拿下当年的亚军拜仁慕尼黑。国家队生涯哥洛于1992年4月8日作客土耳其的友谊赛首度为国家队披甲。1995年法赫德国王杯足球赛,哥洛入选出赛名单。正选门将拿斯·贺治于对墨西哥的比赛受伤,哥洛接替其上阵,并成功扑出两球十二码。哥洛于其后对阿根廷的决赛保持了清白之身,助球队以2:0压倒对手封王。荣誉丹麦国家队欧洲足球锦标赛冠军:1992洲际国家杯冠军:1995布隆德比丹麦超级联赛冠军(4):1995-96,1996-97,1997-98,2001-02丹麦杯冠军(2):1993-94,1997-98个人布隆德比最佳球员:1...
查看全文
德摩根定律
形式表示形式逻辑中此定律表达形式:在集合论中:详细解释在经典命题逻辑的外延中,此二元性依然有效(即对于任意的逻辑运算符,我们都能找他它的对偶),由于存在于调节否定关系的恒等式中,人们总会引入作为一个算符的德摩根对偶的另一个算符。这导致了基于传统逻辑的逻辑学的一个重要性质,即否定范式的存在性:任何公式等价于另外一个公式,其中否定仅出现在作用于公式中非逻辑的原子时。否定常型的存在推进了许多应用,例如在数字电路设计中该性质用于操纵逻辑门,以及在形式逻辑中该性质是寻找一个公式的合取范式和析取范式的必要条件;电脑程序员们则用它们将一个类似于IF...AND(...OR...)THEN...这样的复杂语句转变为其对等形式;它们也同样经常用于初等概率论中的计算。我们将基于基本命题p,q的任意命题算符P(p,q,...)的对偶定义为:该概念可以推广到逻辑量词上,例如全称量词和存在量词互为对偶:为对德摩根定...
查看全文
家族谱大览
南阳叶氏宗谱 [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