数理逻辑 在线电子书 图书标签: 数理逻辑 数学 逻辑 逻辑学 计算机 计算机科学 数学基础 经典
发表于2024-11-24
数理逻辑 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
读懵
评分上课的时候读过这本书 可以作为计算机专业的数理的入门书籍 没有数学专业的数理逻辑那么难懂
评分只看了下一阶逻辑
评分用英文教材的时候对照翻过,部分名词未采用国内常见译名,印刷错误不少。
评分读懵
Herbert B.Enderton,哈佛大学博士,师从著名哲学家hilary putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材elements of set theory(影印版已经由人民邮电出版社出版)和linear algebra。
《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。
用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
评分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
数理逻辑 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024