族谱网
首页
登录/注册
置顶
词条 爱德蒙·克拉克

爱德蒙·克拉克

爱德蒙·克拉克（英语：Edmund M. Clarke，1945年7月27日－）美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在Model checking取得的杰出贡献而获得图灵奖。

爱德蒙·克拉克简介资料
纽波特纽斯
1945年07月27日
资讯学
爱德蒙·克拉克相关文献
爱德蒙·哈雷
人物生平哈雷出生于伦敦肖迪奇一个富有家庭，他的父亲来自德比郡，是一个富裕的肥皂制造商。哈雷年幼时对于数学就很感兴趣，后来进入圣保罗学校读书。1673年他赴达牛津，进入牛津大学皇后学院就读，他在毕业前就发表了关于太阳系和太阳黑子的研究论文。爱德蒙·哈雷在1676年离开牛津，他首先拜访了南大西洋上的圣赫勒拿岛，并在那里研究南天星空。他在当地观察到水星凌日，并意识到可以用类似的金星凌日来确定太阳系的绝对规模。1678年5月，他返回英国。在接下来的一年，他代表英国皇家学会前往但泽（格但斯克）。此后他发表了包含341颗南天恒星的详细数据的《南天星表》，因为这份星表加上附属的星图，他获得了与第谷·布拉赫同样崇高的声誉。他被授予牛津硕士学位，并当选为英国皇家学会院士。爱德蒙·哈雷于1686年发表了关于他的第二篇论文，这篇论文的内容是信风和季雨。他确定太阳的热能是大气层运动的动力，他还建立了气压与高度之间...
查看全文
爱德蒙·克拉克
外部链接爱德蒙·克拉克在数学谱系计划的资料。HomepageatCarnegieMellonUniversityTuringAwardannouncementModelCheckingbookCMACShomepage
查看全文
爱德蒙·克莱里休·班特莱
生平爱德蒙·克莱里休·班特莱出生于伦敦，就读于圣保罗学院和牛津大学墨顿学院。他的父亲约翰·埃德蒙·班特莱是公务员，也英式橄榄球员，在1871年参加第一次国际比赛（英格兰对苏格兰）。他的侦探小说《褚兰特最后一案》（Trent"sLastCase）（1913年）备受赞扬，桃乐丝·榭尔丝受到其影响。
查看全文
爱德蒙多·德·亚米契斯
生平亚米契斯生于意大利因佩里亚城的奥奈格利亚，少年时于都灵就学，十六岁加入摩德纳军事学院，开始他的军旅生涯。1866年他参加意大利第三次独立战争中的库斯托扎战役，萨伏依王朝的军队惨败于奥地利军队的景象刺激了他，最后他退出了军队。1868年他在佛罗伦萨出版了第一本书《军旅随笔》。1870年亚米契斯到罗马担任《民族报》的记者，后来的几年里著有多部游记。1886年10月，亚米契斯的《爱的教育》（Cuore，意语“心”的意思）出版。这是一部日记体小说，情感丰富且文笔优美，全书共一百篇文章，主要由三部分构成：意大利四年级小学生安利柯的十个月日记；他的父母在他日记本上写的劝诫启发性的文章；以及十则老师在课堂上宣读的小故事，其中《少年笔耕》、《寻母三千里》（意大利语：DagliAppenninialleAnde）等段落尤为知名。小说大受欢迎，并被翻译成多种文字。夏丏尊曾将其由英、日文本转译，因夏本人也是...
查看全文
爱德蒙·兰道
参见兰道函数兰道符号
查看全文
爱德蒙·克拉克相关标签
美国国家工程院院士
卡内基美隆大学教师
杜克大学校友
维吉尼亚大学校友
IEEE Fellow
图灵奖获得者
杜克大学教师
美国文理科学院院士
康乃尔大学校友
ACM Fellow
1945年出生
哈佛大学教师
美国计算机科学家
在世人物
信息技术科学家
教育工作者
信息技术科学家
家族谱大览
蒙氏族谱
原书: 抄本, 民国间[19--?]. 1册 : 世系表. 收藏者 : 广东省中山图书馆. 受姓祖 : (周) 颛臾. 封于东蒙,以为氏. 名祖 : (秦) 蒙恬. 迁粤祖 : (宋) 蒙念四 ; 蒙念五 ; 蒙念六. 原居江西雩都,因商入粤. 派祖 : 蒙念五,承务公. 二大房祖 : (宋) 蒙亨,字嘉叔 ; 蒙选. 散居地 : 广东省番禺县等地. 书名据谱序题编目.
浏览:100
1.蒙氏族谱, 1, 卷1下-卷2, 艺文小引 ; 艺文篇： 姓氏原委草略 祠堂记 编后记 等, 1991
原书: [出版地不详] : 育德堂, 1991年续修(琼海县 : 琼城印刷厂承印). 存1册. 收藏所: 海南大学图书馆. 注 : 此谱应共有4卷, 此拍摄仅存卷1下及卷2. 缺卷1上, 卷3(世系), 卷4(世系). 入广始祖 : (宋) 蒙兹荣. 自山西来广, 任番禺县丞, 遂入藉于番禺之河南窖头村. 来琼始祖 : 蒙鼎臣. 始住海田,继移龙歧(现为海口市美兰区龙歧村). 注 : 此谱以简化字体书写. 散居地 : 海南省海口市等地. 书名据书衣题, 及书名页题编目.
浏览:100
蒙氏族谱 [4卷]
原书: [出版地不详] : 育德堂, 1991年续修(琼海县 : 琼城印刷厂承印). 存1册. 收藏所: 海南大学图书馆. 注 : 此谱应共有4卷, 此拍摄仅存卷1下及卷2. 缺卷1上, 卷3(世系), 卷4(世系). 入广始祖 : (宋) 蒙兹荣. 自山西来广, 任番禺县丞, 遂入藉于番禺之河南窖头村. 来琼始祖 : 蒙鼎臣. 始住海田,继移龙歧(现为海口市美兰区龙歧村). 注 : 此谱以简化字体书写. 散居地 : 海南省海口市等地. 书名据书衣题, 及书名页题编目.
浏览:0
定安蒙氏族谱 [上下集]
原书: [出版地不详] : 德育堂藏版, 2003年重修. 2册 : 插图, 世系表, 地图, 肖像. 一世祖 : 蒙念五. 由江右徙广州河南大草坊. 生一子 : 蒙庆. 入琼始祖 : (宋) 蒙鼎臣,字礼行,号文忠. 由广州徙海田. 生一子 : 蒙元隣,字德卿,号怀宝. 由海田徙龙岐. 元隣公生四子(2世) : 蒙绍圣,字睿五 ; 蒙绍贤 ; 蒙绍秀 ; 蒙绍祥,字瑞堂,号云轩. 皆居条岐村. 绍秀公下支祖(4世) : 蒙复昌(徙琼山塘柳村) ; 蒙复宏(徙琼山龙井,后徙美仁村). 子孙析置排峰岭, 仙屯, 坡亮. 绍祥公下支祖(4世) : 蒙复璋. 徙定安县巡崖村. 绍贤公下支祖(5世) : 蒙才恩. 徙澄迈县下朗村. 绍圣公下支祖(5世) : 蒙才辉,字焕庭,号光峰. 由琼山徙定安,再徙潭丽. 才辉公下房祖(10世) : 蒙必薰. 由新村徙南福. 子孙析置重兴,巡崖村,百家村等地. 散居地 : 海南省定安县等地. 书名据书衣题, 书名页题, 谱序题, 及版心题编目.
浏览:0
定安蒙氏族谱 [上下集]
原书: [出版地不详] : 德育堂藏版, 2003年重修. 2册 : 插图, 世系表, 地图, 肖像. 一世祖 : 蒙念五. 由江右徙广州河南大草坊. 生一子 : 蒙庆. 入琼始祖 : (宋) 蒙鼎臣,字礼行,号文忠. 由广州徙海田. 生一子 : 蒙元隣,字德卿,号怀宝. 由海田徙龙岐. 元隣公生四子(2世) : 蒙绍圣,字睿五 ; 蒙绍贤 ; 蒙绍秀 ; 蒙绍祥,字瑞堂,号云轩. 皆居条岐村. 绍秀公下支祖(4世) : 蒙复昌(徙琼山塘柳村) ; 蒙复宏(徙琼山龙井,后徙美仁村). 子孙析置排峰岭, 仙屯, 坡亮. 绍祥公下支祖(4世) : 蒙复璋. 徙定安县巡崖村. 绍贤公下支祖(5世) : 蒙才恩. 徙澄迈县下朗村. 绍圣公下支祖(5世) : 蒙才辉,字焕庭,号光峰. 由琼山徙定安,再徙潭丽. 才辉公下房祖(10世) : 蒙必薰. 由新村徙南福. 子孙析置重兴,巡崖村,百家村等地. 散居地 : 海南省定安县等地. 书名据书衣题, 书名页题, 谱序题, 及版心题编目.
浏览:0
1.叶赫那拉氏宗谱
原书: [出版地不详 : 出版者不详], 民国6[1917]石印本. 1册(48双叶). 收藏者 : 山西省社会科学院. 叶赫始祖本蒙古人, 姓土默特. 先灭扈伦所居张地之那拉部, 遂姓那拉, 后迁叶赫河岸, 因称叶赫那拉, 以别于他族. 入关一世祖 : 尼雅哈, 初隶正黄旗, 后改镶黄满五参领第八佐领, 归葬叶赫那拉原旗. 记载入关后一世至十一世资料. 庚延为尼雅哈之九世孙, 乳名传儿, 字乐秋, 行二, 生于清同治九年(1870). 散居地 : 奉天省开原县, 即今辽宁省沈阳县等地.
浏览:100
词条首字母:
ABCDEFGHIJKLMNOPQRSTUVWXYZ
按词条朝代:
夏朝商朝周朝春秋时期战国时期秦代汉代三国时期晋代南北朝时期隋代唐代五代十国时期宋朝元代明朝清代