交互式定理证明与程序开发读书介绍

类别	页数	译者	网友评分	年代	出版社
书籍	432页			2020	清华大学出版社

定价	出版日期	最近访问	访问指数
59.00元	2020-02-20 …	2020-11-16 …	6

主题/类型/题材/标签

计算机科学,数学,证明,Coq,自动,程序设计语言,交互式定理证明,编程,

作者

YvesBertot ISBN:9787302208136 原作名/别名:《》

内容和作者简介

交互式定理证明与程序开发摘要

《交互式定理证明与程序开发：Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可以下载并执行所有证明的例子，而且还提供了书中200个练习的答案。

Coq是一个用于验证定理的证明是否正确的计算机工具。在推理和编程方面，Coq的语言都拥有足够强大的能力和表达能力，可以构造简单的项，执行简单的证明，直到建立完整的理论，学习复杂的算法。

这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》是·本很有价值的教材，它为初学者提供基础训练，为有经验的人提供必要的专业知识，帮助学习者开发有实用价值的数学证明。

作者简介

本书后续版本

未发行或暂未收录

喜欢读〖交互式定理证明与程序开发〗的人也喜欢：

春娇与志明(《志明与春娇2》) 剧情喜剧爱情　2020-02-20 …

长江三角洲小农家庭与乡村发展经济,社会史,海外中国研究,浙江,江南,　2020-02-20 …

内在生命：精神分析与人格发展心理学,精神分析,人格发展,心理,心理治疗,心理咨询与治疗,英国精神分析,心理咨询,　2020-02-20 …

C#与.NET开发指南 .net,c#,C#,jeffrey,软件开发,计算机,编程,有点难懂,　2020-02-20 …

商史与商代文明-中国古代历史与文明历史,先秦史,中国,考古与文博,考古,先秦,藏书,科普,　2020-02-20 …

《清明上河图》与清明上河学宋史,清明上河图,城市史,历史,书画,宋史研究,艺术史,空间,　2020-02-20 …

春娇与志明春嬌與志明() 剧情喜剧爱情　2020-02-20 …

小小的英雄螃蟹与蛋与透明人ちいさな英雄―カニとタマゴと透明人間―() 动画　2020-02-20 …

战国史与战国文明-中国古代历史与文明历史,中国历史,先秦史,战国,中国古代史,先秦,藏书,考古,　2020-02-20 …

元明江南政治生态与社会发展蒙元史,明史,社会学,江南,古代史,历史,文化,政治,　2020-02-20 …