
作者:李娜
页数:316
出版社:南开大学出版社
出版日期:2016
ISBN:9787310050628
电子书格式:pdf/epub/txt
内容简介
本书共六章,其中第一章主要介绍集合、集合运算的基本思想和方法,第二至四章介绍命题逻辑的基本思想和方法,第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密,选材适当,体系完整,论述准确,并建立在作者新的研究成果基础之上,对数理逻辑的基本思想和方法做了准确而严谨的论述。
作者简介
李娜,女,1958年3月生于河南开封市。1982年毕业于河南大学数学系,获理学学士学位。1989年毕业于中国科学院软件研究所,获理学硕士学位。现任南开大学哲学系教授、博士生导师。
本书特色
本书共六章,其中第一章主要介绍集合、集合运算的基本思想和方法,第二至四章介绍命题逻辑的基本思想和方法,第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密,选材适当,体系完整,论述准确,并建立在作者新的研究成果基础之上,对数理逻辑的基本思想和方法做了准确而严谨的论述。














