内容简介 · · · · · ·
《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
丛书信息
· · · · · ·
中国科学院研究生教学丛书(共35册)，
这套丛书还有
《博士研究生英语精读》《有机分子结构光谱鉴定》《现代生态学》《地震预报引论》《物理学中的群论》
等
。
喜欢读"面向计算机科学的数理逻辑"的人也喜欢 · · · · · ·
面向计算机科学的数理逻辑的书评 · · · · · · ( 全部 5 条 )
> 更多书评 5篇
这本书的其他版本 · · · · · · ( 全部2 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 北京大学数学学院课程教材 (Kogorou)
- 计算机专业书单(转载) (路遥)
- T (dhcn)
- hungry (Ubik)
- 数学 (岁月)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有212人想读，手里有一本闲着?
订阅关于面向计算机科学的数理逻辑的评论:
feed: rss 2.0
0 有用 小眼儿zxy 2021-04-22 17:00:05
当初复习数理逻辑时的参考书
0 有用 SoulToilet 2022-11-16 23:18:21 福建
有点挂羊头卖狗肉了。几乎没有面向计算机的内容(这点要看另外一本 Logic in CS
3 有用 文化 2018-05-04 16:11:19
很多年过去了，这仍然是我读到过的，关于数理逻辑，最干净、最简洁以及最清晰明了的参考书。
0 有用 RiverC 2008-08-07 14:18:52
已有
0 有用 本意是好的 2021-05-01 13:12:04
教材，有些晦涩
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 浙江
教材用 看完了前四章，准备考试，但是我还是想说写的太难了
1 有用 dollii 2023-03-07 23:35:24 浙江
数理逻辑入坑书🥺