发表于2024-12-22
数理逻辑与集合论 2024 pdf epub mobi 电子书
> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
评分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
评分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
评分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
评分> 什么是逻辑?逻辑是推理(演算:演变/演进的推算/计算)。什么的推理?事实的推理,现象的推理,因果的推理。推理的什么?推理的过程,推理的规律,推理的结果。没有推理,就没有逻辑。如果说“演算”的“演”是一种演绎(想象),一种被动的感性(直觉),而“演算”的“算”是一...
图书标签: 数学 数理逻辑 集合论 教材 清华计算机 计算机科学 计算机 逻辑-哲学
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介缗数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论,包括集合、关系、函数、实数集与基数。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》可作为大学离散数学的教科书。也可供从事计算机科学、人工智能等方面的科技人员参考。
错误不少
评分干巴巴的像大便。。你读过以后,你可以知道一些名词的意义,但是你不会理解。。。 因为,你不知道那几个人:亚里士多德(主词量化,形式逻辑),布尔(谓词量化),弗雷格(引入函数,谓词逻辑),康托尔(无穷,序(良序,偏序,全序)和基数),乔姆斯基(形式语言和自动机,引入泛函),图灵(可计算---推理====估计)
评分读的不是一个版本,跟精要与题解差不多的封面。不知道证明的思路一般该怎么走法?没有定理引入呢,要记住定理吗,而且每套系统都不一样定理也不一样啊。
评分读的不是一个版本,跟精要与题解差不多的封面。不知道证明的思路一般该怎么走法?没有定理引入呢,要记住定理吗,而且每套系统都不一样定理也不一样啊。
评分好吧,以前逻辑学课用,其实是离散数学。
数理逻辑与集合论 2024 pdf epub mobi 电子书