MARC状态:审校 文献类型:中文图书 浏览次数:36
- 题名/责任者:
- 数理逻辑/汪芳庭编著
- 出版发行项:
- 合肥:中国科学技术大学出版社,1990.9
- ISBN及定价:
- 7-312-00200-5/$2.20
- 载体形态项:
- 273页;20厘米
- 编目员补充题名:
- 数理 逻辑
- 丛编项:
- 离散数学;三
- 个人责任者:
- 汪芳庭 编著
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 提要文摘附注:
- 本书前两章介绍了命题演算和谓词演算。第三章介绍形式算术,递归函数及二者的关系。第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。
全部MARC细节信息>>