计算机科学中的逻辑
Logic in Computer Science
Michael Huth · 初版 2000 年
- 9次提及
- 5人推荐
- 7位 HN 评论者
简介
第二版继续提供清晰的形式推理入门介绍，既贴合现代计算机科学的需求，又具备足以满足实际应用的严密性。全书进行了全面修订完善，增添并扩充了大量章节与习题。关于model-checking（模型检测）的内容得到了大幅更新。
Hacker News 读者推荐
Huth 和 Ryan 写的《Logic in Computer Science》。
bjourne 在 HN 的推荐
命题逻辑的自然演绎（Natural deduction）？规则简单，货真价实的数学。Huth 和 Ryan 写的《Logic in Computer Science》里有大量难度各异的优质题目。Edit：也许这本身算不上一个游戏，但我觉着一起推导证明会是个挺有意思的活动。
jrimclean 在 HN 的推荐
……可以按哈佛 Math 55 的精神搞个硬核自学训练营（DIY bootcamp）。如果你对连续数学感兴趣：* Hubbard & Hubbard 的《Vector Calculus》；如果你对离散数学和计算感兴趣：* Huth & Ryan 的《Logic in Computer Science》
nextos 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。