这本书的其他版本 · · · · · · ( 全部2 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 北京大学数学学院课程教材 (Kogorou)
- 计算机专业书单(转载) (路遥)
- T (dhcn)
- hungry (Ubik)
- 数学 (岁月)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有212人想读,手里有一本闲着?
订阅关于面向计算机科学的数理逻辑的评论:
feed: rss 2.0
0 有用 SoulToilet 2022-11-16 23:18:21 福建
有点挂羊头卖狗肉了。几乎没有面向计算机的内容(这点要看另外一本 Logic in CS
0 有用 woodbean 2016-05-03 10:26:42
这本书应该比较适合有大学数理逻辑基础知识的人看。我当初学习完备性定理的时候看其他书都看不懂,通过这本书才看懂的。
0 有用 日暮卯白 2020-11-09 08:38:27
太过于琐碎了。说是面向计算机,也让人茫茫看不到应用;我关心的东西更加数学和哲学一点。大抵就逻辑训练用。
0 有用 本意是好的 2021-05-01 13:12:04
教材,有些晦涩
3 有用 文化 2018-05-04 16:11:19
很多年过去了,这仍然是我读到过的,关于数理逻辑,最干净、最简洁以及最清晰明了的参考书。
1 有用 绿野 2024-06-15 20:00:33 北京
看了看基础的,b站上也有些视频。唉呀感觉不追求考多少分之后数学有趣了好多。不过我学得也比较基础。本科最后一本。
0 有用 木林林 2024-05-07 17:19:01 浙江
其实我觉得不适合当教材(
0 有用 阴阳先生 2024-01-14 19:41:27 湖北
还行,我只需要构建起对形式逻辑的粗浅理解就行。
0 有用 ОЙМЯКОН 2023-06-29 14:02:46 浙江
作为教材有些晦涩难懂,而且形式推演的课本定理很多没有证明过程,需要自己完成证明,导致复习的时候比较痛苦。
1 有用 无处在的 2023-06-28 18:04:14 浙江
教材用 看完了前四章,准备考试,但是我还是想说写的太难了