数理逻辑的思想和方法

当前位置:首页 > 自然科学 > 数学 > 数理逻辑的思想和方法

出版社:南开大学出版社
出版日期:2006-4
ISBN:9787310023738
作者:李娜
页数:326页

内容概要

  李娜,女,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 公理系统3.1.2 命题演算3.1.3 形式系统3.1.4 语法和语义3.1.5 练习第二节 命题语言3.2.1 命题语言的字母表3.2.2 命题语言的形成规则3.2.3 定义3.2.4 练习第三节 命题演算的公理系统3.3.1 演绎的基础3.3.2 命题演算3.3.3 练习第四节 命题演算的自然推理系统3.4.1 FPC的推理规则3.4.2 练习第五节 FPC中的可证公式第六节 命题语义学3.6.1 真值赋值3.6.2 重言式和重言后承3.6.3 练习第四章 命题逻辑系统的特征第一节 可演绎性4.1.1 可演绎性4.1.2 练习第二节 相容性第三节 可靠性第四节 完全性第五节 独立性第五章 狭谓词逻辑第一节 一阶语言5.1.1 一阶语言概述5.1.2 一阶语言的字母表5.1.3 一阶公式5.1.4 约束变项和自由变项5.1.5 练习第二节 谓词演算的公理系统5.2.1 演绎的基础5.2.2 谓词演算5.2.3 练习第三节 谓词演算的自然推理系统第四节 FQC中的可证公式5.4.1 FQC中的可证公式5.4.2 练习第五节 狭谓词逻辑的语义学5.5.1 一阶语言的语义5.5.2 练习第六节 前束范式5.6.1 代入引理5.6.2 前束范式5.6.3 练习第六章 狭谓词逻辑系统的特征第一节 可演绎性第二节 相容性第三节 可靠性第四节 完全性第五节 系统的等价性第六节 带等词和运算符号的狭谓词逻辑主要参考文献

编辑推荐

  《数理逻辑的思想与方法》是一部以数理逻辑为主要研究对象的的数理理论专著,内容涉及集合论初步、命题和命题形式、命题逻辑、命题逻辑系统的特征、狭谓词逻辑、狭谓词逻辑系统的特征等,适合数理理论研究者参考使用。

作者简介

数理逻辑的思想和方法,ISBN:9787310023738,作者:李娜

图书封面


 数理逻辑的思想和方法下载



发布书评

 
 


 

外国儿童文学,篆刻,百科,生物科学,科普,初中通用,育儿亲子,美容护肤PDF图书下载,。 零度图书网 

零度图书网 @ 2024