 | 书 名: 数理逻辑与集合论
作 者: 石纯一 等
出 版 社: 清华大学出版社
ISBN : 730204042
原 价: ￥18
 有一家网站低于85折正在热销 | 数理逻辑与集合论-图书目录:
第1章：命题逻辑的基本概念
第2章：命题逻辑的等值和推理演算
第3章：命题逻辑的公理化
第4章：谓词逻辑的基本概念
第5章：谓词逻辑的等值和推理演算
第6章：谓词逻辑的公理化
第7章：一阶形式理论及模型
第8章：证明论中的逻辑系统
第9章：集合
第1章：关系
第11章：函数
第12章：实数集合与集合的基数
数理逻辑与集合论-图书简介:
离散数学包括数理逻辑、集合论、代数结构、图论、形式语言、自动机和计算几何等。 清华大学计算机系把离散数学安排为“数理逻辑与集合论”和“代数结构与图论”两门课程，分两个学期讲授，各占50学时。本书是编著者在讲授“数理逻辑与集合论”时所编写的讲义基础上完成的。 《数理逻辑与集合论》一书的第1版发行至今已有十多年了，在教学过程中已感到数理逻辑部分内容浅了些，需增加深层知识，这是本书再版的原因。为此我们在原书的基础上增加了模型论和证明论两部分，理解这部分内容不甚容易，不求立即直接会用，而是做为基础知识的储备。 本书是离散数学的主要组成部分，是计算机科学的数学基础。全书共12章。前8章介绍数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基数。 本书可作为大学离散数学的教科书，也可供从事计算机科学、人工智能等方面的科技人员参考。
数理逻辑与集合论-相关最新图书
·英汉电子信息技术缩略语词典
·万用表检测技术（上）
·计算机组成与结构
·英汉科学技术词典
·轻松跟我学Protel 99SE电路设计与制版
·言语的萌发(语言起源与进化)(当代语言学文库)(2)
·大学专业英语:人文社会科学英语(2)
·概率论与数理统计
·唐宋英雄传奇 说岳全传
·突破英文词汇5000:刘毅英语单词记忆丛书
·汉德大词典
·单片机接口技术与应用
·单片机及嵌入式系统
·新概念英语自学词典（上册）修订版
·周易正义（上·下）
·智慧之路:论迷宫
·他们叫我小妖精
·袖珍汉英词典
·西游记
·情景技能训练:聚焦雅思(教师用书)
| 