| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
数理逻辑, 汪芳庭编著 |
|
|
ISBN:
|
7-312-00200-5 价格： ￥2.20 |
|
语种:
|
chi |
|
题名:
|
数理逻辑 / 汪芳庭编著 , |
|
出版发行:
|
出版地： 合肥 出版社： 中国科学技术大学出版社 出版日期： 1990.9 |
|
载体形态:
|
273页 20厘米 |
|
摘要:
|
前两章介绍了命题演算和谓词演算。第三章介绍形式算术,递归函数及二者的关系。第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。 |
|
主题:
|
数理逻辑 |
|
中图分类:
|
O141 版次： 3 |
|
主要著者:
|
汪芳庭 编著 |
|
索书号
|
O141/34 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01237nam0 2200265 45 001| |0192004438 010| |□a7-312-00200-5□d￥2.20 100| |□a19940613d1990 km y0chiy0121 ea 101|0 |□achi 102| |□aCN□b340000 105| |□ay z 000yy 106| |□ar 200|10|□a数理逻辑□f汪芳庭编著 210| |□a合肥□c中国科学技术大学出版社□d1990.9 215| |□a273页□d20厘米 225|2 |□a离散数学□v3 330| |□a前两章介绍了命题演算和谓词演算。第三章介绍形式算术,递归- | |函数及二者的关系。第四章中心是不完备性定理,其中建立了God- | |el定理、Godel-Rosser定理、Tarski定理、形- | |式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等- | |。 410| 0|□120010□a离散数学 606| |□a数理逻辑 690| |□aO141□v3 701| 0|□a汪芳庭□4编著 801| 0|□aCN 905| |□aMT□fO141/34□s2□kw□b0016357□t- | |1633887□kj□b0011114□t1633886 908| |□a0016357□b128314□cMT□d0□e2□fO- | |141/34□gMT□hyt□i□j2.2□k□l1□m□- | |n0□o平装□p1633887□q1990-01-01□r2- | |.2□t□u□v999_CN01□w1990-01-01□y订购□zyt 908| |□aM0016357□b1900084704□cMT□d□e- | |2□fO141/34□gMT□hyt□i□j2.2□k□l- | |1□m□n□o平装□p□q1990-01-01□r□t□u□- | |v999_CN01□w1990-01-01□y□zyt