名称 数理逻辑的思想与方法
索引号 O141/20132
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 李娜、
出版社 天津 : 南开大学出版社, 2012
ISBN 978-7-310-04030-8
页数 326页 ; 21cm
价格 CNY26.00
标签 数学、逻辑学、
简介
注解 有书目 (第325-326页) 本书包括六章, 第一章, 主要介绍集合、集合运算的基本思想和方法 ; 第二章至第四章, 介绍命题逻辑的基本思想和方法, 第五章和第六章介绍狭谓词逻辑的基本思想和方法。
书籍简介

《数理逻辑的思想与方法》各章联系紧密,不相互独立。后面各章节中的内容,有时需要用到前面的结果。选材适当,体系完整。《数理逻辑的思想与方法》在选材上,只涉及数理逻辑的基本内容(包括命题逻辑和狭谓词逻辑),不涉及传统逻辑,也不涉及现代逻辑的其他分支。因此,《数理逻辑的思想与方法》的体系是作者的独创。另外,为了使读者更好地理解和掌握数理逻辑的思想和方法,大部分章节都配有一定量的练习。