词条 达纳·斯科特

达纳·斯科特

达纳·斯图尔特·斯科特Dana Stewart Scott 1932年10月11日)美国科学家,研究领域涉及计算机科学、数学和哲学,1976年图灵奖得主。

达纳·斯科特简介资料
1932年10月11日
格、数理逻辑、模型论、拓扑学
1976年
达纳·斯科特相关文献
纳达尔
生平"NadarélevantlaPhotographieàlahauteurdel"Art"(纳达尔提升摄影艺术)。奥诺雷·杜
查看全文
斯科特·达恩
球员生涯2011年9月1日,英冠俱乐部布莱克本流浪者以600万英镑转会费从伯明翰城签入达恩,合约为期四年。2013年3月12日布莱克本流浪者时任主教练迈克尔·阿尔普顿任命达恩取代丹尼&m
查看全文
达纳·斯科特
简介斯科特1932年10月11日生于美国加利福尼亚州,在加州大学伯克利分校获得学士学位以后,进入普林斯顿大学研究生院学习,与迈克尔·拉宾一起师从阿隆索·邱奇,1958年取得博士学位。他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学、数理逻辑和哲学教授。1959年,拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”(FiniteAutomataandTheirDecisionProblems)的论文,提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖,并做“逻辑与程序设计语言”(logicandProgrammingLanguage)的演讲。图灵奖的引文是:“因他们的合著论文“有限自动机与其判定性问题”。论文中引入了非确定自动机的概念,被证明是(计算理论科学研究中的)一个非...
查看全文
达拉纳省
主要城市阿沃斯塔-Avesta博伦厄-Borlänge法伦-Falun冈内夫-Gagnef黑德摩拉-Hedemora莱克桑德-Leksand卢德维卡-Ludvika马隆-Malung穆拉-M
查看全文
卡纳达语
文字舌根塞音-ಕ(ka),ಖ(kha),ಗ(ga),ಘ(gha),ಙ(nga)舌面塞音-ಚ(ca),ಛ(cha),ಜ(ja),ಝ(jha),ಞ(nya)卷舌塞音-ಟ(tta),ಠ(ttha),ಡ(dd),ಢ(ddha),ಣ(nna)舌尖塞音-ತ(ta),ಥ(tha),ದ(da),ಧ(dha),ನ(na)唇塞音-ಪ(pa),ಫ(pha),ಬ(ba),ಭ(bha),ಮ(ma)ಯ(ya),ರ(ra),ಲ(la),ವ(va),ಶ(sha),ಷ(ssa),ಸ(sa),ಹ(ha),ಳ(lla)数字:೦(0),೧(1),೨(2),೩(3);೪(4),೫(5),೬(6),೭(7),೮(8),೯(9)FurtherreadingMasica,ColinP.TheIndo-AryanLanguages.Cambridge:CambridgeUniversityPress.1991[1991].ISBN0-52...
查看全文
家族谱大览
龙纳言堂族谱 [22卷,首1卷,附2卷]
原书: [出版地不详] : 纳言堂, 民国9[1920]. 24册 : 插图, 世系表. 编纂者 : 龙华国,字显岩 ; 龙继云,字腾霄 ; 龙清濂,字崧峰 ; 龙华义,字鉴廷 ; 龙清煦,字朗轩 ; 龙华堂,字星喜. 受姓始祖 : (虞) 龙纳言. 远祖 : (汉) 龙柏高,讳述. 为陜西京兆人. 初为山都长. 入湘祖(1世) : (宋) 龙通方,行九,号碧崖. 居土官评事. 由茶陵徙湘潭. 始祖(6世) : (元明之际) 龙跃云,字文甫. 希圣公长子. 由珍涟江迁居上村乡,创立团田,鸟洲湾,下严塘,龙家坊等地. 下一子: 龙万尧,字嗣瑛. 派祖(12世) : (明) 龙兴惟,字秀元. 天祥公长子. 万尧公5世孙. 兴惟公下房祖(13世) : (明) 龙文迪,字瑞端 ; 龙文升,字瑞宣 ; 龙文福. 文升公下二子(14世) : (明) 龙仕松,字茂林 ; 龙仕佐,字茂材. 文迪公下房祖(17世) : (明) 龙永锦,字怀泉 ; 龙永远 ; 龙永颜 ; 龙永孟 ; 龙永岱 ; 龙永定 ; 龙永相,字三爰 ; 龙永玄,字敬明 ; 龙永黄 ; 龙永贤,字少怀 ; 龙永万 ; 龙永滔 ; 龙永海 ; 龙永潭 ; 龙永豹 ; 龙永相 ; 龙永玄 ; 龙永贤 ; 龙永万. 仕松公下房祖(17世) : 龙永滔,字正南 ; 龙永海,字正胡 ; 龙永潭,字见台; 龙永豹,字望台 ; 龙永祥. 仕佐公下房祖(17世) : 龙永干,字建山 ; 龙永颐 ; 龙永顺,字继塘 ; 龙永潮 ; 龙永旸,字思塘 ; 龙永先 ; 龙永袭,字湘怀 ; 龙永(龙求),字正怀. 文福公下房祖(17世) : 龙永松 ; 龙永梅 ; 龙永栋 ; 龙永桥 ; 龙永雷 ; 龙永跃. 旧定派序 : 宏荫昭华清 继承代有荣 相传维忠孝 敦厚振家声. 新定派序 : 喜起赓廷献 明良际遇期 赞襄征盛治 先泽远谋贻. 散居地 : 湖南省湘乡县等地. 书名据书衣题编目. 书名页题 : 龙氏族谱. 版心题 : 龙氏三修族谱. 23册书衣题 : 龙纳言堂发祥编. 24册书衣题 : 龙纳言堂附录.
浏览:0
龙纳言堂附录
原书: [出版地不详] : 纳言堂, 民国9[1920]. 24册 : 插图, 世系表. 编纂者 : 龙华国,字显岩 ; 龙继云,字腾霄 ; 龙清濂,字崧峰 ; 龙华义,字鉴廷 ; 龙清煦,字朗轩 ; 龙华堂,字星喜. 受姓始祖 : (虞) 龙纳言. 远祖 : (汉) 龙柏高,讳述. 为陜西京兆人. 初为山都长. 入湘祖(1世) : (宋) 龙通方,行九,号碧崖. 居土官评事. 由茶陵徙湘潭. 始祖(6世) : (元明之际) 龙跃云,字文甫. 希圣公长子. 由珍涟江迁居上村乡,创立团田,鸟洲湾,下严塘,龙家坊等地. 下一子: 龙万尧,字嗣瑛. 派祖(12世) : (明) 龙兴惟,字秀元. 天祥公长子. 万尧公5世孙. 兴惟公下房祖(13世) : (明) 龙文迪,字瑞端 ; 龙文升,字瑞宣 ; 龙文福. 文升公下二子(14世) : (明) 龙仕松,字茂林 ; 龙仕佐,字茂材. 文迪公下房祖(17世) : (明) 龙永锦,字怀泉 ; 龙永远 ; 龙永颜 ; 龙永孟 ; 龙永岱 ; 龙永定 ; 龙永相,字三爰 ; 龙永玄,字敬明 ; 龙永黄 ; 龙永贤,字少怀 ; 龙永万 ; 龙永滔 ; 龙永海 ; 龙永潭 ; 龙永豹 ; 龙永相 ; 龙永玄 ; 龙永贤 ; 龙永万. 仕松公下房祖(17世) : 龙永滔,字正南 ; 龙永海,字正胡 ; 龙永潭,字见台; 龙永豹,字望台 ; 龙永祥. 仕佐公下房祖(17世) : 龙永干,字建山 ; 龙永颐 ; 龙永顺,字继塘 ; 龙永潮 ; 龙永旸,字思塘 ; 龙永先 ; 龙永袭,字湘怀 ; 龙永(龙求),字正怀. 文福公下房祖(17世) : 龙永松 ; 龙永梅 ; 龙永栋 ; 龙永桥 ; 龙永雷 ; 龙永跃. 旧定派序 : 宏荫昭华清 继承代有荣 相传维忠孝 敦厚振家声. 新定派序 : 喜起赓廷献 明良际遇期 赞襄征盛治 先泽远谋贻. 散居地 : 湖南省湘乡县等地. 书名据书衣题编目. 书名页题 : 龙氏族谱. 版心题 : 龙氏三修族谱. 23册书衣题 : 龙纳言堂发祥编. 24册书衣题 : 龙纳言堂附录.
浏览:100
龙纳言堂附录
原书: [出版地不详] : 纳言堂, 民国9[1920]. 24册 : 插图, 世系表. 编纂者 : 龙华国,字显岩 ; 龙继云,字腾霄 ; 龙清濂,字崧峰 ; 龙华义,字鉴廷 ; 龙清煦,字朗轩 ; 龙华堂,字星喜. 受姓始祖 : (虞) 龙纳言. 远祖 : (汉) 龙柏高,讳述. 为陜西京兆人. 初为山都长. 入湘祖(1世) : (宋) 龙通方,行九,号碧崖. 居土官评事. 由茶陵徙湘潭. 始祖(6世) : (元明之际) 龙跃云,字文甫. 希圣公长子. 由珍涟江迁居上村乡,创立团田,鸟洲湾,下严塘,龙家坊等地. 下一子: 龙万尧,字嗣瑛. 派祖(12世) : (明) 龙兴惟,字秀元. 天祥公长子. 万尧公5世孙. 兴惟公下房祖(13世) : (明) 龙文迪,字瑞端 ; 龙文升,字瑞宣 ; 龙文福. 文升公下二子(14世) : (明) 龙仕松,字茂林 ; 龙仕佐,字茂材. 文迪公下房祖(17世) : (明) 龙永锦,字怀泉 ; 龙永远 ; 龙永颜 ; 龙永孟 ; 龙永岱 ; 龙永定 ; 龙永相,字三爰 ; 龙永玄,字敬明 ; 龙永黄 ; 龙永贤,字少怀 ; 龙永万 ; 龙永滔 ; 龙永海 ; 龙永潭 ; 龙永豹 ; 龙永相 ; 龙永玄 ; 龙永贤 ; 龙永万. 仕松公下房祖(17世) : 龙永滔,字正南 ; 龙永海,字正胡 ; 龙永潭,字见台; 龙永豹,字望台 ; 龙永祥. 仕佐公下房祖(17世) : 龙永干,字建山 ; 龙永颐 ; 龙永顺,字继塘 ; 龙永潮 ; 龙永旸,字思塘 ; 龙永先 ; 龙永袭,字湘怀 ; 龙永(龙求),字正怀. 文福公下房祖(17世) : 龙永松 ; 龙永梅 ; 龙永栋 ; 龙永桥 ; 龙永雷 ; 龙永跃. 旧定派序 : 宏荫昭华清 继承代有荣 相传维忠孝 敦厚振家声. 新定派序 : 喜起赓廷献 明良际遇期 赞襄征盛治 先泽远谋贻. 散居地 : 湖南省湘乡县等地. 书名据书衣题编目. 书名页题 : 龙氏族谱. 版心题 : 龙氏三修族谱. 23册书衣题 : 龙纳言堂发祥编. 24册书衣题 : 龙纳言堂附录.
浏览:100
龙纳言堂族谱 [22卷,首1卷,附2卷]
原书: [出版地不详] : 纳言堂, 民国9[1920]. 24册 : 插图, 世系表. 编纂者 : 龙华国,字显岩 ; 龙继云,字腾霄 ; 龙清濂,字崧峰 ; 龙华义,字鉴廷 ; 龙清煦,字朗轩 ; 龙华堂,字星喜. 受姓始祖 : (虞) 龙纳言. 远祖 : (汉) 龙柏高,讳述. 为陜西京兆人. 初为山都长. 入湘祖(1世) : (宋) 龙通方,行九,号碧崖. 居土官评事. 由茶陵徙湘潭. 始祖(6世) : (元明之际) 龙跃云,字文甫. 希圣公长子. 由珍涟江迁居上村乡,创立团田,鸟洲湾,下严塘,龙家坊等地. 下一子: 龙万尧,字嗣瑛. 派祖(12世) : (明) 龙兴惟,字秀元. 天祥公长子. 万尧公5世孙. 兴惟公下房祖(13世) : (明) 龙文迪,字瑞端 ; 龙文升,字瑞宣 ; 龙文福. 文升公下二子(14世) : (明) 龙仕松,字茂林 ; 龙仕佐,字茂材. 文迪公下房祖(17世) : (明) 龙永锦,字怀泉 ; 龙永远 ; 龙永颜 ; 龙永孟 ; 龙永岱 ; 龙永定 ; 龙永相,字三爰 ; 龙永玄,字敬明 ; 龙永黄 ; 龙永贤,字少怀 ; 龙永万 ; 龙永滔 ; 龙永海 ; 龙永潭 ; 龙永豹 ; 龙永相 ; 龙永玄 ; 龙永贤 ; 龙永万. 仕松公下房祖(17世) : 龙永滔,字正南 ; 龙永海,字正胡 ; 龙永潭,字见台; 龙永豹,字望台 ; 龙永祥. 仕佐公下房祖(17世) : 龙永干,字建山 ; 龙永颐 ; 龙永顺,字继塘 ; 龙永潮 ; 龙永旸,字思塘 ; 龙永先 ; 龙永袭,字湘怀 ; 龙永(龙求),字正怀. 文福公下房祖(17世) : 龙永松 ; 龙永梅 ; 龙永栋 ; 龙永桥 ; 龙永雷 ; 龙永跃. 旧定派序 : 宏荫昭华清 继承代有荣 相传维忠孝 敦厚振家声. 新定派序 : 喜起赓廷献 明良际遇期 赞襄征盛治 先泽远谋贻. 散居地 : 湖南省湘乡县等地. 书名据书衣题编目. 书名页题 : 龙氏族谱. 版心题 : 龙氏三修族谱. 23册书衣题 : 龙纳言堂发祥编. 24册书衣题 : 龙纳言堂附录.
浏览:0
龙纳言堂族谱 [22卷,首1卷,附2卷]
原书: [出版地不详] : 纳言堂, 民国9[1920]. 24册 : 插图, 世系表. 编纂者 : 龙华国,字显岩 ; 龙继云,字腾霄 ; 龙清濂,字崧峰 ; 龙华义,字鉴廷 ; 龙清煦,字朗轩 ; 龙华堂,字星喜. 受姓始祖 : (虞) 龙纳言. 远祖 : (汉) 龙柏高,讳述. 为陜西京兆人. 初为山都长. 入湘祖(1世) : (宋) 龙通方,行九,号碧崖. 居土官评事. 由茶陵徙湘潭. 始祖(6世) : (元明之际) 龙跃云,字文甫. 希圣公长子. 由珍涟江迁居上村乡,创立团田,鸟洲湾,下严塘,龙家坊等地. 下一子: 龙万尧,字嗣瑛. 派祖(12世) : (明) 龙兴惟,字秀元. 天祥公长子. 万尧公5世孙. 兴惟公下房祖(13世) : (明) 龙文迪,字瑞端 ; 龙文升,字瑞宣 ; 龙文福. 文升公下二子(14世) : (明) 龙仕松,字茂林 ; 龙仕佐,字茂材. 文迪公下房祖(17世) : (明) 龙永锦,字怀泉 ; 龙永远 ; 龙永颜 ; 龙永孟 ; 龙永岱 ; 龙永定 ; 龙永相,字三爰 ; 龙永玄,字敬明 ; 龙永黄 ; 龙永贤,字少怀 ; 龙永万 ; 龙永滔 ; 龙永海 ; 龙永潭 ; 龙永豹 ; 龙永相 ; 龙永玄 ; 龙永贤 ; 龙永万. 仕松公下房祖(17世) : 龙永滔,字正南 ; 龙永海,字正胡 ; 龙永潭,字见台; 龙永豹,字望台 ; 龙永祥. 仕佐公下房祖(17世) : 龙永干,字建山 ; 龙永颐 ; 龙永顺,字继塘 ; 龙永潮 ; 龙永旸,字思塘 ; 龙永先 ; 龙永袭,字湘怀 ; 龙永(龙求),字正怀. 文福公下房祖(17世) : 龙永松 ; 龙永梅 ; 龙永栋 ; 龙永桥 ; 龙永雷 ; 龙永跃. 旧定派序 : 宏荫昭华清 继承代有荣 相传维忠孝 敦厚振家声. 新定派序 : 喜起赓廷献 明良际遇期 赞襄征盛治 先泽远谋贻. 散居地 : 湖南省湘乡县等地. 书名据书衣题编目. 书名页题 : 龙氏族谱. 版心题 : 龙氏三修族谱. 23册书衣题 : 龙纳言堂发祥编. 24册书衣题 : 龙纳言堂附录.
浏览:0
龙纳言堂族谱
原书: [出版地不详] : 纳言堂, 1997年. 28册 : 插图, 世系表. 受姓始祖 : (虞) 龙纳言. 远祖 : (汉) 龙柏高,讳述. 帝封新西侯,赐封零陵太守. 为陜西京兆咸阳人. 初为山都长. 迁湘祖(1世) : (宋) 龙通方,号碧崖,行九. 封大理评事. 由茶陵徙湘潭. 湘乡凹头祖(6世) : (元明之际) 龙跃云,字文甫. 希圣公长子. 瑄公之孙. 由珍涟江迁居坳头,创立富田桥,团田,龙家坊等地. 下一子: 龙万尧,字嗣瑛. 派祖(12世) : (明) 龙兴惟,字秀元. 天祥公长子. 万尧公5世孙. 子孙析置龙家坊,下严塘,鸟竹湾,长沙市,安化县,四川省资阳县,云南省,贵州省等地. 兴惟公下房祖(13世) : (明) 龙文迪,字瑞端(大房) ; 龙文升,字瑞宣(二房及三房) ; 龙文福(四房). 文升公下二子(14世) : (明) 龙仕松,字茂林(二房) ; 龙仕佐,字茂材(三房). 文迪公下房祖(17世) : (明) 龙永锦,字怀泉 ; 龙永远 ; 龙永颜 ; 龙永孟 ; 龙永岱 ; 龙永定 ; 龙永相,字三爰 ; 龙永玄,字敬明 ; 龙永黄 ; 龙永贤,字少怀 ; 龙永万 ; 龙永滔 ; 龙永海 ; 龙永潭 ; 龙永豹 ; 龙永相 ; 龙永玄 ; 龙永贤 ; 龙永万. 仕松公下房祖(17世) : 龙永滔,字正南 ; 龙永海,字正胡 ; 龙永潭,字见台; 龙永豹,字望台 ; 龙永祥. 仕佐公下房祖(17世) : 龙永干,字建山 ; 龙永颐 ; 龙永顺,字继塘 ; 龙永潮 ; 龙永旸,字思塘 ; 龙永先 ; 龙永袭,字湘怀 ; 龙永(龙求),字正怀. 文福公下房祖(17世) : 龙永松 ; 龙永梅 ; 龙永栋 ; 龙永桥 ; 龙永雷 ; 龙永跃. 前定派序 : 通真体瑞希跃 万邦世志天兴 文仕思元永 必立仁本柏. 二修派序 : 宏荫昭华清 继承代有荣 相传维忠孝 敦厚振家声. 三修派序 : 喜起赓廷献 明良际遇期 赞商征盛治 先泽远谋贻. 四修派序 : 绩德欣余庆 宗功历序长 行言多善训 后进慕前光. 散居地 : 湖南省湘乡县等地. 书名据书衣题编目. 书名页题 : 龙氏族谱 版心题 : 龙氏四修族谱
浏览:100