首页 > 图书中心 >图书详情

数理逻辑与集合论(第2版)

作者:石纯一
定价:23
印次:2-19
ISBN:9787302040422
出版日期:2001.03.01
印刷日期:2019.07.24

离散数学包括数理逻辑、集合论、代数结构、图论、形式语言、自动机和计算几何等。 清华大学计算机系把离散数学安排为“数理逻辑与集合论”和“代数结构与图论”两门课程,分两个学期讲授,各占50学时。本书是编著者在讲授“数理逻辑与集合论”时所编写的讲义基础上完成的。 《数理逻辑与集合论》一书的第1版发行至今已有十多年了,在教学过程中已感到数理逻辑部分内容浅了些,需增加深层知识,这是本书再版的原因。为此我们在原书的基础上增加了模型论和证明论两部分,理解这部分内容不甚容易,不求立即直接会用,而是做为基础知识的储备。 本书是离散数学的主要组成部分,是计算机科学的数学基础。全书共12章。前8章介绍数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论,包括集合、关系、函数、实数集与基数。 本书可作为大学离散数学的教科书,也可供从事计算机科学、人工智能等方面的科技人员参考。

more >

离散数学是大学计算机系的基础数学课程,它以离散量为研究对象.而数学分析(微积分)以连续函数为主要研究对象,属于连续型数学. 由于计算机的软、硬件都具有离散型结构,从而使离散数学成为计算机科学的基本工具.例如,Turing对可计算性的研究所建立的Turing机是计算机的理论模型,导致了计算机的出现;Boole的逻辑代数已十分成功地用于计算机的硬件分析和设计;谓词逻辑演算为人工智能学科提供了一种重要的知识表示和推理方法等. 离散数学的原理和方法常常要求在计算机上的可实现性.而一般数学理论有时仅给出存在性讨论,这是不能满足实用要求的. 离散数学包括数理逻辑、集合论、代数结构、图论、形式语言、自动机和计算几何等. 清华大学计算机系把离散数学安排为“数理逻辑与集合论”和“代数结构与图论”两门课程,分两个学期讲授,各占50学时.本书是编著者在讲授“数理逻辑与集合论”时所编写的讲义基础上完成的.孙承钅监、陈群秀和赵琦等同志参加了编写工作,在此表示谢意. 离散数学的参考书较多,而且其各部分也有专门的书.本书的编写过程主要参考了王宪钧的《数理逻辑引论》、胡世华和陆钟万的《数理逻辑基础》、陈进元等的《离散数学(上)》和张锦文的《集合论浅说》等书. 由于编著者水平所限,错误和不当之处在所难免,请读者批评指正.

more >
扫描二维码
下载APP了解更多

同系列产品more >

Java语言程序设计(第3版)

郑莉 张宇
定 价:79.90元

查看详情
数据结构算法解析

殷人昆
定 价:158元

查看详情
高级计算机网络(第2版)

徐恪、徐明伟、李琦
定 价:89元

查看详情
C++语言程序设计(第5版)

郑莉,董渊
定 价:79.80元

查看详情
数值分析与算法(第3版)

喻文健
定 价:59元

查看详情
图书分类全部图书
more >
  • 概述1

    第1章命题逻辑的基本概念2

    11命题2

    12命题联结词及真值表3

    13合式公式7

    14重言式8

    15命题形式化9

    16波兰表达式11

    习题112

    第2章命题逻辑的等值和推理演算14

    21等值定理14

    22等值公式15

    23命题公式与真值表的关系19

    24联结词的完备集20

    25对偶式23

    26范式24

    27推理形式29

    28基本的推理公式31

    29推理演算33

    210归结推理法35

    习题237

    第3章命题逻辑的公理化40

    31公理系统的结构40

    32命题逻辑的公理系统41

    33公理系统的完备性和演绎定理44

    34命题逻辑的另一公理系统——王浩算法45

    35命题逻辑的自然演绎系统49

    36非标准逻辑50

    习题353

    第4章谓词逻辑的基本概念54

    41谓词和个体词54

    42函数和量词56

    43合式公式58

    44自然语句的形式化59

    45有限域下公式(x)P(x)\,(x)P(x)的表示法63

    46公式的普遍有效性和判定问题65

    习题466

    第5章谓词逻辑的等值和推理演算69

    51否定型等值式69

    52量词分配等值式71

    53范式74

    54基本的推理公式77

    55推理演算79

    56谓词逻辑的归结推理法82

    习题584

    第6章谓词逻辑的公理化87

    61谓词逻辑的公理系统87

    62谓词逻辑的自然演绎系统92

    63递归函数94

    64相等词和摹状词99

    习题6102

    第7章一阶...

配套推荐more >

精彩书评more >

标题

评论

版权所有(C)2019 清华大学出版社有限公司 京ICP备10035462号 京公网安备11010802013248号

联系我们 | 网站地图 | 法律声明 | 友情链接 | 盗版举报 | 人才招聘