数理逻辑的思想与方法
若图片与书名不一致，以书名和定价为准！
￥ 6.8 3.4折 ￥ 20 全新
库存47件
作者李娜 著
出版社南开大学出版社
ISBN9787310023738
出版时间2006-04
版次1
装帧平装
开本16开
纸张胶版纸
页数326页
定价20元
货号1409725
上书时间2024-08-31
- 在售商品 暂无
- 平均发货时间 29小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 商品描述
-
基本信息
书名:数理逻辑的思想与方法
定价：20元
作者:李娜 著
出版社：南开大学出版社
出版日期：2006-04-01
ISBN：9787310023738
字数：
页码：326
版次：1
装帧：平装
开本：32开
商品重量：
编辑推荐
内容提要
《数理逻辑思想与方法》是一部以数理逻辑为主要研究对象的的数理理论专著，内容涉及集合论初步、命题和命题形式、命题逻辑、命题逻辑系统的特征、狭谓词逻辑、狭谓词逻辑系统的特征等，适合数理理论研究者参考使用。
目录
序章集合论初步节基本概念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.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练习第六章狭谓词逻辑系统的特征节可演绎性第二节相容性第三节可靠性第四节完全性第五节系统的等价性第六节带等词和运算符号的狭谓词逻辑主要参考文献
作者介绍
序言
-
【封面】
— 没有更多了 —
以下为对购买帮助不大的评价