内容简介 · · · · · ·
《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
丛书信息
· · · · · ·
中国科学院研究生教学丛书(共38册)，
这套丛书还有
《胶体化学概论/中国科学院研究生教学丛书》《交换代数与同调代数》《测度论讲义（第三版）》《分子光谱》《高等概率论》
等
。
喜欢读"面向计算机科学的数理逻辑"的人也喜欢 · · · · · ·
面向计算机科学的数理逻辑的书评 · · · · · · ( 全部 5 条 )
> 更多书评 5篇
这本书的其他版本 · · · · · · ( 全部2 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 北京大学数学学院课程教材 (Kogorou)
- 计算机专业书单(转载) (路遥)
- T (dhcn)
- hungry (Ubik)
- 数学 (岁月)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有233人想读，手里有一本闲着?
订阅关于面向计算机科学的数理逻辑的评论:
feed: rss 2.0
0 有用 小眼儿zxy 2021-04-22 17:00:05
当初复习数理逻辑时的参考书
5 有用 豌豆黄 2016-09-09 13:19:09
一定要配合老爷子那29讲视频来看，讲得极好，清楚明白，详略得当。
0 有用 RiverC 2008-08-07 14:18:52
已有
1 有用 EGAH 2023-06-28 18:04:14 浙江
教材用 看完了前四章，准备考试，但是我还是想说写的太难了
0 有用 日暮卯白 2020-11-09 08:38:27
太过于琐碎了。说是面向计算机，也让人茫茫看不到应用；我关心的东西更加数学和哲学一点。大抵就逻辑训练用。