|
题名:
|
数理逻辑的思想与方法 / 李娜编著 , |
|
ISBN:
|
978-7-310-05062-8 价格： 38.00 |
|
语种:
|
chi |
|
载体形态:
|
306页 26cm |
|
出版发行:
|
出版地： 天津 出版社： 南开大学出版社 出版日期： 2016.04 |
|
内容提要:
|
本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密，选材适当，体系完整，论述准确，并建立在作者新的研究成果基础之上，对数理逻辑的基本思想和方法做了准确而严谨的论述。 |
|
主题词:
|
数理逻辑 高等教育 |
|
中图分类法:
|
O141 版次： 5 |
|
主要责任者:
|
李娜 编著 |
|
版次:
|
2版 |
|
附注:
|
“十二五”普通高等教育本科国家级规划教材 南开大学立项规划教材 |