广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑基础教程/张峰编著

出版发行项:

北京:清华大学出版社,2025

ISBN及定价:

978-7-302-68240-0/CNY79.00

载体形态项:

342页;26cm

并列正题名:

Tutorial of mathematical logic

个人责任者:

张峰 编著

学科主题:

数理逻辑-教材

中图法分类号:

O141

提要文摘附注:

本书共8章。第1章介绍了数理逻辑的基本思想以及后面各章所用到的预备数学知识；第2~6章分别介绍了命题逻辑和谓词逻辑，构造了它们的形式系统，并讨论了它们的系统性质，进而引入了包含数学理论的形式系统；后2章介绍了哥德尔的不完全性定理、算法可计算性

豆瓣简介：