计算机科学中的基础证明方法
Fundamental proof methods in computer science
Konstantine Arkoudas · 初版 2017 年
2人推荐
3位读者提及
3次提及
证明是数学中产生知识的主要途径。在计算机科学中，证明还发现了一项额外用途：验证特定系统（或组件、算法）是否具备某些预期的理想性质。本书向学生讲授如何使用可免费下载的计算机语言Athena来阅读和编写证明。Athena证明可由机器验证，并采用直观的自然演绎风格编写。全书包含300多道习题，大部分附有完整答案。通过将证明付诸实践，本书展示了逻辑与证明在计算机科学中的基石作用
Hacker News 上怎么说
正在加载完整评论……
Konstantine Arkoudas 和 David Musser 著的《Fundamental Proof Methods in Computer Science》。
Fundamental Proof Methods in Computer Science, by Konstantine Arkoudas and David Musser.
Arkoudas 和 Musser 著的《Fundamental Proof Methods in Computer Science: A Computer-Based Approach》。链接：https://books.google.com/books/about/Fundamental_Proof_Metho...
Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas/Musser Link: https://books.google.com/books/about/Fundamental_Proof_Metho...
我目前在读的书单：- 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…