![]() |
名称 | 数理逻辑的思想与方法 |
| 索引号 | O141/20132 | |
| 分类号 | O141 O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学) |
|
| 作者 | 李娜、 | |
| 出版社 | 天津 : 南开大学出版社, 2012 | |
| ISBN | 978-7-310-04030-8 | |
| 页数 | 326页 ; 21cm | |
| 价格 | CNY26.00 | |
| 标签 | 数学、逻辑学、 | |
| 简介 | ||
| 注解 | 有书目 (第325-326页) 本书包括六章, 第一章, 主要介绍集合、集合运算的基本思想和方法 ; 第二章至第四章, 介绍命题逻辑的基本思想和方法, 第五章和第六章介绍狭谓词逻辑的基本思想和方法。 | |
书籍简介
《数理逻辑的思想与方法》各章联系紧密,不相互独立。后面各章节中的内容,有时需要用到前面的结果。选材适当,体系完整。《数理逻辑的思想与方法》在选材上,只涉及数理逻辑的基本内容(包括命题逻辑和狭谓词逻辑),不涉及传统逻辑,也不涉及现代逻辑的其他分支。因此,《数理逻辑的思想与方法》的体系是作者的独创。另外,为了使读者更好地理解和掌握数理逻辑的思想和方法,大部分章节都配有一定量的练习。











粤公网安备 44030602003680号