计算机科学中的逻辑
Logic in Computer Science
Michael Huth · 初版 2000 年
5人推荐
7位读者提及
9次提及
第二版继续提供清晰的形式推理入门介绍，既贴合现代计算机科学的需求，又具备足以满足实际应用的严密性。全书进行了全面修订完善，增添并扩充了大量章节与习题。关于model-checking（模型检测）的内容得到了大幅更新。
Hacker News 上怎么说
正在加载完整评论……
Logic in Computer Science
Michael Huth · 初版 2000 年
第二版继续提供清晰的形式推理入门介绍，既贴合现代计算机科学的需求，又具备足以满足实际应用的严密性。全书进行了全面修订完善，增添并扩充了大量章节与习题。关于model-checking（模型检测）的内容得到了大幅更新。
正在加载完整评论……
Huth 和 Ryan 写的《Logic in Computer Science》。
Logic in Computer Science by Huth and Ryan.
命题逻辑的自然演绎（Natural deduction）？规则简单，货真价实的数学。Huth 和 Ryan 写的《Logic in Computer Science》里有大量难度各异的优质题目。Edit：也许这本身算不上一个游戏，但我觉着一起推导证明会是个挺有意思的活动。
Natural deduction for propositional logic? Simple rules, real math. There are lots of good problems of varying difficulty in Logic in Computer Science by Huth and Ryan. Edit: Perhaps this doesn't qualify as a game per se, but I think it might be a fun activity to work through the proofs together.
……可以按哈佛 Math 55 的精神搞个硬核自学训练营（DIY bootcamp）。如果你对连续数学感兴趣：* Hubbard & Hubbard 的《Vector Calculus》；如果你对离散数学和计算感兴趣：* Huth & Ryan 的《Logic in Computer Science》
…try a DIY bootcamp in the spirit of Harvard Math 55. If you are interested in continuous math: * Vector Calculus by Hubbard & Hubbard If you are interested in discrete mathematics and computation: * Logic in Computer Science by Huth & Ryan
……可能并不适合所有人。但我不是数学专业的，它却很吸引我。https://web.mat.bham.ac.uk/R.W.Kaye/logic（没啥太大用，一堆死链，直接去看书吧）我也很喜欢这里另一条评论提到的 Huth 和 Ryan 写的《Logic in Computer Science》。那本书要全面得多，而且讲了更多逻辑在计算机科学中的应用。
…maybe not for everybody. But I am not a math major and it appealed to me. https://web.mat.bham.ac.uk/R.W.Kaye/logic (not very helpful, lots of broken links, just look at the book instead) I also like Logic in Computer Science by Huth and Ryan, cited in another comment here. It is much more comprehensive and has a lot more about logic applications in computer science.
一门核心学科是逻辑学。逻辑学就是 CS 界的微积分（Calculus of CS），应该是你的第一站。我推荐：* Uwe Schoening 的《Logic for Computer Scientists》 * M. Huth 和 M. Ryan 的《Logic in Computer Science》。第一本篇幅短小，非常优雅且好上手。第二本稍长一些，但也只是大一新生的难度水平。网上到处有流传的 PDF。在……之前先浏览一下那些
A key subject is Logic. Logic is the Calculus of CS and should be your first stop. I recommend: * Logic for Computer Scientists by Uwe Schoening * Logic in Computer Science by M. Huth and M. Ryan The first one is short, very elegant and doable. The second one is a bit longer, but also at freshman level. There are PDFs circulating on the Internet. Skim through those before…
我建议你先从一门计算机科学中形式逻辑（formal logic）的课程或书籍入手。尤其是做直觉主义逻辑（intuitionistic logic）的证明。你可以用一个简单的 proof assistant 来验证你的证明，这会帮你真正理解证明是怎么推出来的，以及它们到底怎么就只是一种……
I suggest you start out with a course or book on formal logic in computer science. In particular doing proofs in intuitionistic logic. You can use a simple proof assistant to verify your proofs and it will help you really understand how proofs are done and how they are just a kind…