文献类型:专著 浏览次数:94
  • 题名:数理逻辑基础教程
  • 责任者:张峰编著
  • 出版社清华大学出版社
  • 出版年:2025
  • ISBN:978-7-302-68240-0
  • 定价:79.00
  • 载体形态项:342页 26cm
  • 个人责任者:张峰编著
  • 学科主题:数理逻辑
  • 中图法分类号:O141
  • 提要文摘附注:本书共8章, 其中, 第1章介绍了数理逻辑的基本思想以及后面各章所用到的预备数学知识, 第2-6章分别介绍了命题逻辑和谓词逻辑, 构造了它们的形式系统, 并讨论了它们的系统性质, 进而引入了包含数学理论的形式系统, 前6章是本书核心内容; 后2章介绍了哥德尔的不完全性定理、算法可计算性, 这部分相对于前6章而言是扩展内容。
  • 统一资源定位(URL):
总体评价(共0票) 评价
索书号 条码号 年卷期 馆藏地 排架号 书刊状态 流通类型 流通状态 定位

书籍封面

相关资源

图书馆微博二维码

图书馆微信公众号二维码