数理逻辑

书籍简介:

本书由8个部分的内容组成，包括绪论和7个章节的内容。绪论部分介绍元数学的形成与发展，同时简要说明课程学习的目的和意义；第1章介绍集合论的基础知识；第2章介绍可计算性理论的基本知识；第3章至第5章是关于经典数理逻辑的内容；第6章介绍计算思维的概念，简要回顾计算思维概念的形成与发展，阐述计算思维的特点；第7章介绍形式系统构成特性，分析逻辑系统与应用系统之间的联系与区别。最终给出“哥德尔不完备性定理”的证明。

书籍规格:

书籍信息归属:

数理逻辑是中国矿业大学出版社于2019.7出版的中图分类号为 O141 的主题关于 数理逻辑 的书籍。