《数理逻辑与集合论》
数理逻辑与集合论txt,chm,pdf,epub,mobi下载
作者: 石纯一
出版社: 清华大学出版社
出版年: 2002-1-1
页数: 236
定价: 18.00元
装帧: 平装(无盘)
丛书: 清华大学计算机系列教材
ISBN: 9787302040422
第1章 命题逻辑的基本概念
第2章 命题逻辑的等值和推理演算
第3章 命 题逻辑的公理化
第4章 谓词逻辑的基本概念
第5章 谓词逻辑的等值和推理演算
· · · · · · ()
概述
第1章 命题逻辑的基本概念
第2章 命题逻辑的等值和推理演算
第3章 命 题逻辑的公理化
第4章 谓词逻辑的基本概念
第5章 谓词逻辑的等值和推理演算
第6章 谓词逻辑的公理化
第7章 一阶形式理论及模型
第8章 证明论中的逻辑系统
第9章 集合
第10章 关系
第11章 函数
第12章 实数集合与集合的基数
· · · · · · ()
作者: 石纯一
出版社: 清华大学出版社
出版年: 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章 实数集合与集合的基数
· · · · · · ()
上一篇:《达尔文奖1》
下一篇:《世界艺术史(电影卷)》
相关文章
- 7条评论
- ezra埃兹拉2024-06-12 23:48:43
- 感谢谢谢
- Jacob替代者,替补者2024-06-12 12:25:50
- 谢谢分享
- 经年°reminis2024-06-10 09:11:20
- 感谢谢谢
- brady布莱迪2024-06-01 08:08:30
- 感谢谢谢
- Don\'tcry!2024-06-21 08:59:27
- 感谢谢谢
- mement^范儿2024-06-29 04:11:10
- 谢谢分享
- caprice°2024-06-14 01:47:19
- 感谢谢谢