成功加入购物车
图书条目标准图
李娜 著 / 南开大学出版社 / 2012-10 / 平装
售价 ¥ 26.00
品相 全新
优惠 满包邮
延迟发货说明
上书时间2020-01-14
卖家超过10天未登录
南开哲学教材系列:数理逻辑的思想与方法
《南开哲学教材系列:数理逻辑的思想与方法》包括六章,第一章,主要介绍集合、集合运算的基本思想和方法,这一章的目的在于为以后各章的使用奠定基础,第二章至第四章,介绍命题逻辑的基本思想和方法,第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书在选材上,只涉及数理逻辑的基本内容(包括命题逻辑和狭谓词逻辑),不涉及传统逻辑,也不涉及现代逻辑的其他分支,因此,本书的体系是作者的独创,另外,为了使读者更好地理解和掌握数理逻辑的思想和方法,大部分章节都配有一定量的练习。
序第一章集合论初步第一节基本概念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练习第二节命题语言321命题语言的字母表3.2.2命题语言的形成规则3.2.3定义3.2.4练习第三节命题演算的公理系统3.3.1演绎的基础3.3.2命题演算3.3.3练习第四节命题演算的自然推理系统3.4.1FPC的推理规则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.1FQC中的可证公式5.4.2练习第五节狭谓词逻辑的语义学5.5.1一阶语言的语义5.5.2练习第六节前束范式5.6.1代入引理5.6.2前束范式5.6.3练习第六章狭谓词逻辑系统的特征第一节可演绎性第二节相容性第三节可靠性第四节完全性第五节系统的等价性第六节带等词和运算符号的狭谓词逻辑主要参考文献
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30