数理逻辑的思想与方法（第二版）

图书标准信息

• 作者 李娜 编
• 出版社 南开大学出版社
• 出版时间 2016-04
• 版次 2
• ISBN 9787310050628
• 定价 38.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 316页
• 字数 343千字

【内容简介】

本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密，选材适当，体系完整，论述准确，并建立在作者新的研究成果基础之上，对数理逻辑的基本思想和方法做了准确而严谨的论述。

【作者简介】

李娜，女，1958年3月生于河南开封市。1982年毕业于河南大学数学系，获理学学士学位。1989年毕业于中国科学院软件研究所，获理学硕士学位。现任南开大学哲学系教授、博士生导师.

【目录】

章  集合论初步
  节  基本概念
    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  关系的质
    1.3.5  几种特殊的二元关系
    1.3.6  练
  第四节  映
    1.4.1  映的概念和质
    1.4.2  映的合成
    1.4.3  两个集合之间的一一对应
    1.4.4  练
第二章  命题和命题形式
  节  命题真值联结词
    2.1.1  简单命题及复合命题
    2.1.2  五个基本的真值联结词
    2.1.3  初始联结词
    2.1.4  练
  第二节  命题形式重言式
    2.2.1  命题形式
    2.2.2  真值表方法
    2.2.3  真值函项
    2.2.4  重言式
    2.2.5  重言式的作用
    2.2.6  重言式的判定方法
    2.2.7  练
  第三节  范式
    2.3.1  范式
    2.3.2  优范式
    2.3.3  范式的作用和应用
    2.3.4  两种运算
    2.3.5  练
第三章  命题逻辑
  节  形式系统
    3.1.1  公理系统