作者:
A. G. Hamilton
出版社: 清华大学出版社
副标题: 修订版
原作名: Logic for Mathematicians (Revised Edition)
出版年: 1900-01-01
定价: 26.0
装帧: 平装
丛书: 大学计算机教育国外著名教材系列（影印版）
ISBN: 9787302068105
出版社: 清华大学出版社
副标题: 修订版
原作名: Logic for Mathematicians (Revised Edition)
出版年: 1900-01-01
定价: 26.0
装帧: 平装
丛书: 大学计算机教育国外著名教材系列（影印版）
ISBN: 9787302068105
内容简介 · · · · · ·
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书第一版由剑桥大学出版社于1978年出版，然后，于19...
丛书信息
· · · · · ·
大学计算机教育国外著名教材系列（影印版）(共44册)，
这套丛书还有
《Java语言艺术与科学》《神经网络》《数据结构与问题求解》《IBM PC汇编语言程序设计》《网络安全基础》
等
。
喜欢读"数理逻辑"的人也喜欢 · · · · · ·
数理逻辑的书评 · · · · · · ( 全部 1 条 )
> 更多书评 1篇
论坛 · · · · · ·
这本书的其他版本 · · · · · · ( 全部4 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- Discrete Mathematics (Kogorou)
- 数理逻辑 (星际旅人)
- 数学统计类 (霍曼)
- 数学书籍 (Jeoygin)
- 基础数学 (已注销)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有96人想读，手里有一本闲着?
订阅关于数理逻辑的评论:
feed: rss 2.0
1 有用 mangodream 2015-03-21 17:34:04
离散数学神教材。。。
0 有用 噫吁嚱 2020-03-10 01:46:56
@2017-08-31 20:53:07
0 有用 ▽○▽ 2016-12-01 00:13:24
简明扼要
0 有用 快三 2007-07-09 11:18:40
经典
1 有用 嘴阔阔 2017-12-18 23:37:38
研究数学的数理逻辑 此书甚好 讲的比老师好 缺点是容易从此自学两周后落下进度 /* 这些年我们用豆瓣来整理学业 */