网课114 简明数理逻辑 赵希顺 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载【高清非扫描版】
《简明数理逻辑》赵希顺 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值89元）【高清非扫描版】（2021年）
图书简介：
本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识，然后介绍了集合论，详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理，最后介绍了模型论的基础知识和方法。全书重点突出，论证详细，各部分内容配有典型的例子和习题，以便读者更好地理解、掌握相关知识。
网课114（wangke114.com）：网课学习资源大全，网课在这儿一搜就购了。专注于提供全网最新幼/小/初/高/大学/考研/考证/才艺等高质精选课程下载。
网课114（wangke114.com） » 简明数理逻辑 赵希顺 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载【高清非扫描版】
网课114（wangke114.com） » 简明数理逻辑 赵希顺 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载【高清非扫描版】
