类型：
成立时间：
出版社特色：
:清华大学出版社
出版社信息：
出版社简介：
暂无相关内容，正在全力查找中
交互式定理证明与程序开发书籍相关信息
- ISBN：9787302208136
- 作者：顾明远 / YvesBertot / PierreCasteran
- 出版社：:清华大学出版社
- 出版时间：2010-1
- 页数：432
- 价格：59.00元
- 纸张：暂无纸张
- 装帧：暂无装帧
- 开本：暂无开本
- 语言：暂无语言
- 丛书：国外经典教材·计算机科学与技术
- 适合人群：计算机科学与技术专业学生, 软件工程师, 形式化方法研究者, 编程爱好者, 理论计算机科学家
- TAG：编程语言 / 软件工程 / 程序开发 / 理论计算机科学 / 形式化方法 / 交互式逻辑
- 豆瓣评分：暂无豆瓣评分
- 更新时间：2025-05-12 19:44:33
内容简介：
《交互式定理证明与程序开发：Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可以下载并执行所有证明的例子，而且还提供了书中200个练习的答案。
Coq是一个用于验证定理的证明是否正确的计算机工具。在推理和编程方面，Coq的语言都拥有足够强大的能力和表达能力，可以构造简单的项，执行简单的证明，直到建立完整的理论，学习复杂的算法。
这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》是·本很有价值的教材，它为初学者提供基础训练，为有经验的人提供必要的专业知识，帮助学习者开发有实用价值的数学证明。
全格式电子版 - 免费下载