《数理逻辑与集合论》电子书下载

数理逻辑与集合论txt,chm,pdf,epub,mobi下载
作者:石纯一
出版社: 清华大学出版社
出版年: 2002-1-1
页数: 236
定价: 18.00元
装帧: 平装(无盘)
丛书: 清华大学计算机系列教材
ISBN: 9787302040422

内容简介 · · · · · ·

《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介缗数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论,包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。

目录 · · · · · ·

概述
第1章命题逻辑的基本概念
第2章命题逻辑的等值和推理演算
第3章命题逻辑的公理化
第4章谓词逻辑的基本概念
第5章谓词逻辑的等值和推理演算
· · · · · ·()
概述
第1章命题逻辑的基本概念
第2章命题逻辑的等值和推理演算
第3章命题逻辑的公理化
第4章谓词逻辑的基本概念
第5章谓词逻辑的等值和推理演算
第6章谓词逻辑的公理化
第7章一阶形式理论及模型
第8章证明论中的逻辑系统
第9章集合
第10章关系
第11章函数
第12章实数集合与集合的基数
· · · · · · ()

下载地址

发布者：晓春1229A5

文件说明：zip / 解压密码:electro-lviv.com

迅雷下载：您需要先登录后,才能查看

网盘下载：您需要先登录后,才能查看

关于内容：内容自于互联网,如果发现有违规内容请联系管理员删除！