实用逻辑与自动推理手册
Handbook of practical logic and automated reasoning
Harrison, J. · 初版 2009 年
2位读者提及
2次提及
一站式参考书，内容自成一体，理论主题与附带代码的具体实现紧密结合讲解。
Hacker News 上怎么说
正在加载完整评论……
Handbook of practical logic and automated reasoning
Harrison, J. · 初版 2009 年
一站式参考书，内容自成一体，理论主题与附带代码的具体实现紧密结合讲解。
正在加载完整评论……
我现在的书单：- Fundamental Proof Methods in Computer Science - Handbook of Practical Logic and Automated Reasoning - Software Abstractions - The Little Prover 是的，目前我把 Athena、OCaml、Alloy、ACL2（通过 Dr Racket/Dracula）全都配好跑起来了，用来刷这些书里的习题。我非常怀疑…
My current reading list: - Fundamental Proof Methods in Computer Science - Handbook of Practical Logic and Automated Reasoning - Software Abstractions - The Little Prover Yes, currently I have Athena, OCaml, Alloy, ACL2 (via Dr Racket/Dracula) all up and running to work through the exercises in these books. I'm very skeptical…
如果有人对更多示例感兴趣，我前阵子和几个 F# 开发者一起把《Handbook of Practical Logic and Automated Reasoning》里的示例代码完整移植到了 F#：https://github.com/jack-pappas/fsharp-logic-examples
If anyone's interested in more examples, I have a complete F# port of the example code from The Handbook of Practical Logic and Automated Reasoning I did a while back with a couple of other F# devs: https://github.com/jack-pappas/fsharp-logic-examples