内容介绍
本书共六章,其中第一章主要介绍集合、集合运算的基本思想和方法,第二至四章介绍命题逻辑的基本思想和方法,第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密,选材适当,体系完整,论述准确,并建立在作者新的研究成果基础之上,对数理逻辑的基本思想和方法做了准确而严谨的论述。
数理逻辑的思想与方法(第二版)
目录
●第一章集合论初步
第一节基本概念
1.1.1关于集合的定义
1.1.2集合的表示方法
1.1.3罗素悖论
1.1.4集合的包含和相等关系
1.1.5空集和幂集
1.1.6练习
第二节集合的基本运算
1.2.1并集及其运算
1.2.2交集及其运算
1.2.3差集及其运算
1.2.4全集
1.2.5集合运算之间的关系
1.2.6练习
第三节关系
1.3.1有序对和n元有序组
1.3.2笛卡儿乘积
1.3.3关系的概念
1.3.4关系的性质
……
内容介绍
本书共六章,其中第一章主要介绍集合、集合运算的基本思想和方法,第二至四章介绍命题逻辑的基本思想和方法,第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密,选材适当,体系完整,论述准确,并建立在作者新的研究成果基础之上,对数理逻辑的基本思想和方法做了准确而严谨的论述。
微信支付
支付宝
扫一扫购买