内容简介 · · · · · ·
《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
丛书信息
· · · · · ·
中国科学院研究生教学丛书(共38册)，
这套丛书还有
《博士研究生英语精读教师参考书》《博士研究生英语精读》《普通病毒学》《矩阵计算》《李群》
等
。
喜欢读"面向计算机科学的数理逻辑"的人也喜欢 · · · · · ·
面向计算机科学的数理逻辑的书评 · · · · · · ( 全部 5 条 )
> 更多书评 5篇
这本书的其他版本 · · · · · · ( 全部2 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 北京大学数学学院课程教材 (Kogorou)
- 计算机专业书单(转载) (路遥)
- T (dhcn)
- hungry (Ubik)
- 数学 (岁月)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有229人想读，手里有一本闲着?
订阅关于面向计算机科学的数理逻辑的评论:
feed: rss 2.0
1 有用 绿野 2024-06-15 20:00:33 北京
看了看基础的，b站上也有些视频。唉呀感觉不追求考多少分之后数学有趣了好多。不过我学得也比较基础。本科最后一本。
0 有用 老C 2024-10-27 10:37:03 广东
B站有老师的讲课视频，结合起来看更好，看到一阶逻辑感觉够用就没看了。
0 有用 雪洁 2022-08-09 14:12:30
神书，非常全
0 有用 woodbean 2016-05-03 10:26:42
这本书应该比较适合有大学数理逻辑基础知识的人看。我当初学习完备性定理的时候看其他书都看不懂，通过这本书才看懂的。
0 有用 SoulToilet 2022-11-16 23:18:21 福建
有点挂羊头卖狗肉了。几乎没有面向计算机的内容(这点要看另外一本 Logic in CS