数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)

数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: , ,
2020-08
ISBN: 9787309145687
定价: 49.00
装帧: 平装
  •  本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了数理逻辑的基本知识。全书共10章:第一章是预备知识,主要介绍书中所需要的集合论的初步知识:第二至第六章是一阶逻辑的基本内容,重点介绍哥德尔的完全性定理;第七章是递归论的基本知识,也是为后面内容所做的准备;第八章介绍一阶算术的一些片段;第九和第十章是哥德尔的两个不完全性定理。本书主要面向对数学基础感兴趣的读者。与其他数理逻辑教材相比,本书更加强调逻辑与元数学的联系,更多介绍语义部分,更加强调语法与语义的统一。书中除了讲解各个知识点本身之外,还介绍了它们的思想背景,也简单介绍了数理逻辑当代研究成果及其与本书内容的联系。本书适合作为数理逻辑系列课程的导论教材,可以为进-步学习与研究数理逻辑后继课程建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解数理逻辑的基本概念与技巧。
  • 内容简介:
     本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了数理逻辑的基本知识。全书共10章:第一章是预备知识,主要介绍书中所需要的集合论的初步知识:第二至第六章是一阶逻辑的基本内容,重点介绍哥德尔的完全性定理;第七章是递归论的基本知识,也是为后面内容所做的准备;第八章介绍一阶算术的一些片段;第九和第十章是哥德尔的两个不完全性定理。本书主要面向对数学基础感兴趣的读者。与其他数理逻辑教材相比,本书更加强调逻辑与元数学的联系,更多介绍语义部分,更加强调语法与语义的统一。书中除了讲解各个知识点本身之外,还介绍了它们的思想背景,也简单介绍了数理逻辑当代研究成果及其与本书内容的联系。本书适合作为数理逻辑系列课程的导论教材,可以为进-步学习与研究数理逻辑后继课程建立兴趣并打下基础。本书也可以帮助有兴趣的读者了解数理逻辑的基本概念与技巧。
查看详情
您可能感兴趣 / 更多
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计理论、应用与软件实现(第2版)
宋爱斌 编
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计及其应用(原书第6版)
[美]理查德·J.拉森(Richard J. Larsen);[美]莫里斯·L.马克斯(Morris L. Marx)
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理逻辑的思想和方法(日月光华·哲学书系)
昂扬 编著,林胜强、李晟 修订
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计与随机过程
主编 马江洪 副主编 任丽
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理经济学(第二版)21世纪经济与管理规划教材·经济学系列 李晓春 新版
李晓春
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计(第三版)
韦来生,张伟平
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计学导论(原书第8版)
(美)罗伯特·V.霍格
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理化里的十万个小问题 小学生三四五六年级初中课外阅读书籍物理化学启蒙书漫画书
于启斋、鲍艳双、王珂
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理金融(仅馆配)
作者
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计教程(第二版)
王兆军 邹长亮 周永道
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理逻辑引论 第二版
朱梧槚 肖奚安 朱朝晖 周勇
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理逻辑和算法理论——计算机科学与人工智能的数学基础
袁相碗
系列丛书 / 更多
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计理论、应用与软件实现(第2版)
宋爱斌 编
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计及其应用(原书第6版)
[美]理查德·J.拉森(Richard J. Larsen);[美]莫里斯·L.马克斯(Morris L. Marx)
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理逻辑的思想和方法(日月光华·哲学书系)
昂扬 编著,林胜强、李晟 修订
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计与随机过程
主编 马江洪 副主编 任丽
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理经济学(第二版)21世纪经济与管理规划教材·经济学系列 李晓春 新版
李晓春
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计(第三版)
韦来生,张伟平
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计学导论(原书第8版)
(美)罗伯特·V.霍格
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理化里的十万个小问题 小学生三四五六年级初中课外阅读书籍物理化学启蒙书漫画书
于启斋、鲍艳双、王珂
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理金融(仅馆配)
作者
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计教程(第二版)
王兆军 邹长亮 周永道
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理逻辑引论 第二版
朱梧槚 肖奚安 朱朝晖 周勇
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理逻辑和算法理论——计算机科学与人工智能的数学基础
袁相碗
相关图书 / 更多
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计理论、应用与软件实现(第2版)
宋爱斌 编
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计及其应用(原书第6版)
[美]理查德·J.拉森(Richard J. Larsen);[美]莫里斯·L.马克斯(Morris L. Marx)
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理逻辑的思想和方法(日月光华·哲学书系)
昂扬 编著,林胜强、李晟 修订
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计与随机过程
主编 马江洪 副主编 任丽
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理经济学(第二版)21世纪经济与管理规划教材·经济学系列 李晓春 新版
李晓春
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计(第三版)
韦来生,张伟平
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计学导论(原书第8版)
(美)罗伯特·V.霍格
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理化里的十万个小问题 小学生三四五六年级初中课外阅读书籍物理化学启蒙书漫画书
于启斋、鲍艳双、王珂
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理金融(仅馆配)
作者
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理统计教程(第二版)
王兆军 邹长亮 周永道
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理逻辑引论 第二版
朱梧槚 肖奚安 朱朝晖 周勇
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理逻辑和算法理论——计算机科学与人工智能的数学基础
袁相碗