图书标签: 数理逻辑 数学 逻辑 逻辑学 计算机 计算机科学 数学基础 经典
发表于2024-12-23
数理逻辑 pdf epub mobi txt 电子书 下载 2024
《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。
Herbert B.Enderton,哈佛大学博士,师从著名哲学家hilary putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材elements of set theory(影印版已经由人民邮电出版社出版)和linear algebra。
上课的时候读过这本书 可以作为计算机专业的数理的入门书籍 没有数学专业的数理逻辑那么难懂
评分@2017-08-31 20:52:33
评分@2017-08-31 20:52:33
评分很难,但也很棒
评分翻译版有错误。建议直接看英文版。ps:发现了好多翻译错误。譬如搞错not...or, objection 这些基本词汇意思的。自学的初学者会被坑惨。
用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
数理逻辑 pdf epub mobi txt 电子书 下载 2024