具体描述
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。
作者简介
目录信息
第1章 命题逻辑的基本概念
第2章 命题逻辑的等值和推理演算
第3章 命 题逻辑的公理化
第4章 谓词逻辑的基本概念
第5章 谓词逻辑的等值和推理演算
第6章 谓词逻辑的公理化
第7章 一阶形式理论及模型
第8章 证明论中的逻辑系统
第9章 集合
第10章 关系
第11章 函数
第12章 实数集合与集合的基数
· · · · · · (收起)
读后感
> 什么是逻辑？逻辑是推理(演算：演变/演进的推算/计算)。什么的推理？事实的推理，现象的推理，因果的推理。推理的什么？推理的过程，推理的规律，推理的结果。没有推理，就没有逻辑。如果说“演算”的“演”是一种演绎(想象)，一种被动的感性(直觉)，而“演算”的“算”是一...
评分> 什么是逻辑？逻辑是推理(演算：演变/演进的推算/计算)。什么的推理？事实的推理，现象的推理，因果的推理。推理的什么？推理的过程，推理的规律，推理的结果。没有推理，就没有逻辑。如果说“演算”的“演”是一种演绎(想象)，一种被动的感性(直觉)，而“演算”的“算”是一...
评分> 什么是逻辑？逻辑是推理(演算：演变/演进的推算/计算)。什么的推理？事实的推理，现象的推理，因果的推理。推理的什么？推理的过程，推理的规律，推理的结果。没有推理，就没有逻辑。如果说“演算”的“演”是一种演绎(想象)，一种被动的感性(直觉)，而“演算”的“算”是一...
评分> 什么是逻辑？逻辑是推理(演算：演变/演进的推算/计算)。什么的推理？事实的推理，现象的推理，因果的推理。推理的什么？推理的过程，推理的规律，推理的结果。没有推理，就没有逻辑。如果说“演算”的“演”是一种演绎(想象)，一种被动的感性(直觉)，而“演算”的“算”是一...
评分> 什么是逻辑？逻辑是推理(演算：演变/演进的推算/计算)。什么的推理？事实的推理，现象的推理，因果的推理。推理的什么？推理的过程，推理的规律，推理的结果。没有推理，就没有逻辑。如果说“演算”的“演”是一种演绎(想象)，一种被动的感性(直觉)，而“演算”的“算”是一...
用户评价
简洁精炼，也晦涩。讲得还算清晰。
评分简洁精炼，也晦涩。讲得还算清晰。
评分大二 离散数学（1） 教材。
评分可能我看的是旧版，书上关于 aleph_1 的定义是错的，误导了很多人
评分简洁精炼，也晦涩。讲得还算清晰。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有