计算机科学中的基础证明方法

简介

证明是数学中产生知识的主要途径。在计算机科学中，证明还发现了一项额外用途：验证特定系统（或组件、算法）是否具备某些预期的理想性质。本书向学生讲授如何使用可免费下载的计算机语言Athena来阅读和编写证明。Athena证明可由机器验证，并采用直观的自然演绎风格编写。全书包含300多道习题，大部分附有完整答案。通过将证明付诸实践，本书展示了逻辑与证明在计算机科学中的基石作用

Hacker News 读者推荐

Konstantine Arkoudas 和 David Musser 著的《Fundamental Proof Methods in Computer Science》。

bstamour 在 HN 的推荐

Arkoudas 和 Musser 著的《Fundamental Proof Methods in Computer Science: A Computer-Based Approach》。链接：https://books.google.com/books/about/Fundamental_Proof_Metho...

swampcreature 在 HN 的推荐

找书

豆瓣 微信读书 京东 Open Library

在黑客书架打开完整页面 →

数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。