图书标签: 计算机科学 数学 证明 Coq 自动 程序设计语言 交互式定理证明 编程
发表于2024-11-08
交互式定理证明与程序开发 pdf epub mobi txt 电子书 下载 2024
《交互式定理证明与程序开发:Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》给出了大量的例子,所有例子都町以在计算机上执行。从《交互式定理证明与程序开发:Coq归纳构造演算的艺术》配套网站可以下载并执行所有证明的例子,而且还提供了书中200个练习的答案。
Coq是一个用于验证定理的证明是否正确的计算机工具。在推理和编程方面,Coq的语言都拥有足够强大的能力和表达能力,可以构造简单的项,执行简单的证明,直到建立完整的理论,学习复杂的算法。
这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》是·本很有价值的教材,它为初学者提供基础训练,为有经验的人提供必要的专业知识,帮助学习者开发有实用价值的数学证明。
在z3/hol/coq之间的选择纠结中。。。
评分在z3/hol/coq之间的选择纠结中。。。
评分苏州形式化方法暑期学校的教材,根本看不懂啊……
评分苏州形式化方法暑期学校的教材,根本看不懂啊……
评分苏州形式化方法暑期学校的教材,根本看不懂啊……
评分
评分
评分
评分
交互式定理证明与程序开发 pdf epub mobi txt 电子书 下载 2024