图书标签: 数学 数理逻辑 集合论 教材 清华计算机 计算机科学 计算机 逻辑-哲学
发表于2024-12-22
数理逻辑与集合论 pdf epub mobi txt 电子书 下载 2024
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介缗数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论,包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。
读的不是一个版本,跟精要与题解差不多的封面。不知道证明的思路一般该怎么走法?没有定理引入呢,要记住定理吗,而且每套系统都不一样定理也不一样啊。
评分在清华教材里算是比较好读的了,全书几乎没有废话,结合配套答案册刷起来也还不错。
评分简洁精炼,也晦涩。讲得还算清晰。
评分错误不少
评分好吧,以前逻辑学课用,其实是离散数学。
> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
评分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
评分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
评分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
评分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
数理逻辑与集合论 pdf epub mobi txt 电子书 下载 2024