词条 类型论

类型论

在最广泛的层面上,类型论是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上,它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的,并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。

在计算机科学分支中的编程语言理论中,类型论提供了设计分析和研究类型系统的形式基础。实际上,很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究,尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。

类型论相关文献
类型论
类型论体系主要简单类型λ演算,一种高阶逻辑;直觉类型论;系统F;LF经常用来定义其他类型论;构造演算及其派生理论。次要Automath(英语:Automath);ST类型论;组合逻辑的一些形式;λ立方体(英语:Lambdacube)中定义的其他;其他有类型λ演算;其他纯类型系统(英语:puretypesystem)。活跃正在研究中的同伦类型论参考文献延伸阅读Andrews,PeterB.,2002.AnIntroductiontoMathematicalLogicandTypeTheory:ToTruthThroughProof,2nded.KluwerAcademicPublishers.Cardelli,Luca,1997,"TypeSystems,"inAllenB.Tucker,ed.,TheComputerScienceandEngineeringHandbook.CRCPres...
查看全文
类型论相关标签
类型论
数理逻辑
计算机逻辑
学科&术语
家族谱大览
[彭氏]家族类
原书: 稿本, 记事至昭和12[1937]. 1册(97面). 江西远祖 : (唐) 彭构云. 庐陵宗祖 : (唐) 彭玕. 广东始祖 : (宋) 彭延年,字舜章,又名华四郎,号震峰. 居揭阳县浦口. 台湾始迁祖 : (清) 彭象照. 散居地 : 广东省揭阳县 ; 台湾省新竹县,台湾省桃园县等地. 书名据书名页题编目.
浏览:100
2.陆氏墙东支谱 [残卷], 卷4下, 1860-2013
原书: [出版地不详] : 世德堂藏, 2013年续修. 存5册 : 插图, 世系表, 肖像. 注 : 此谱不全. 仅存卷4上,下, 及卷6. 从第11世祖之世系开始拍摄. 始祖, 始迁祖, 及编纂者资料均缺. 注 : 此记录之第4至5册为: "墙东类稿" 卷11至20. 远祖 : (唐) 陆宣. 宗祖 : (宋) 陆文圭,字子方,号墙东先生. 下有二子 : 陆秉钧(长房) ; 陆秉锁(次房). 十一世祖 : 陆思文,字二霖 ; 陆思明,字三霖 ; 陆思川. 注 : 此族共分五房 : 长房住云亭袁家桥 ; 次房住南外黄石桥 ; 三房住旧县署 ; 四房住东外杨岸桥 ; 五房住南闸李家弄. 袁家桥支祖(13世) : 陆兆武. 黄石桥支祖(16世) : 陆朝栋. 李家弄支祖(14世) : 陆锡公. 散居地 : 江苏省江阴县等地. 书名据书签题, 书名页题, 及版心题编目. 部分卷端题 : 澄江陆氏墙东支谱.
浏览:100
文氏德慰球選廷五房七修譜
原书: 水埠湾 : 养廉学校, 民国22[1933]. 存9册 : 世系表. 注 : 本谱不全. 缺世系卷7, 9-12; 及表卷2. 编谱人员 : 文之谟,字诗畅 ; 文崇德,字式奎,号述苏 ; 文焕奎,字春生,号永旺 ; 文冬永,字来复 ; 文道德,字友三 ; 文盛兴,字映兆. 益阳始迁祖 : 文潮鏖,讳琰, 文昌义之季子. 由江西永新迁益阳. 为小街尾, 及十里子良岩文氏始祖. 派祖(8世) : 文宗录,字泉江. 为本谱五房之祖. 子孙多居子良岩. 五大房祖(11世) : (明) 文尚德,字复初 ; 文尚慰,名莘辅 ; 文尚球,字莘尹 ; 文尚选 ; 文尚廷. 本宗派语 : 潮福绍仕友 昌章宗大应 尚胜嗣维贤 万邦隆盛德 永世进忠良 明显昭谟烈 宏达焕书香 心传其肇孔 慎修克发扬. 注 : 成高渊源通达诸房派语,见本谱卷末第2-3页. 散居地 : 湖南省益阳县等地. 书名据书衣题, 及版心题编目. 卷端题 : 益阳子良岩文氏德慰球选廷五房七修谱.
浏览:100
1.亦见微捲. 美国犹他州 : 犹他家谱学会拍摄, 1981. 微捲1捲 ; 16厘米
注 : 书后附英文简介.
浏览:100
宗谱的研究(资料纂) = An analytic study of Chinese genealogical books(别名:An analyteic study of Chinese genealogical books|东洋文库论丛)
注 : 书后附英文简介.
浏览:100
中国方志学通论
原书: 上海 : 商务印书馆, 民国24[1935]. 1册(158页). 收藏者 : 美国麻省剑桥 : 哈佛大学燕京图书馆藏
浏览:0