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

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

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

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

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

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

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

作者简介

未发行或暂未收录

命定的见证 历史,传记,德国,社会,社科,社会学,政治学,德国史,　2020-01-01 …

动态资产定价理论 金融,资产定价,金融学,books,数理金融,EcM,生态资产,　2020-02-20 …

固定收益证券手册（上下册） 金融,固定收益,投资,固定收益证券,债券,金融学,经济学,经济,　2020-02-20 …

固定收益证券手册 金融,固定收益证券,债券,投资,法博齐,金融学,CFA,工具书,　2020-02-20 …

固定收益证券 金融,固定收益证券,债券,固定收益,投资,风险管理,定价,姚长辉,　2020-02-20 …

爱无定式 剧情,喜剧,爱情,同性　2020-02-20 …

布局定式与战理 象棋,中国象棋,文化,国学,棋类游戏,历史,传统,象棋,中国象棋,文化,国学,历史,传统,　2020-02-20 …

交互式定理证明与程序开发 计算机科学,数学,证明,Coq,自动,程序设计语言,交互式定理证明,编程,　2020-02-20 …

固定收益证券市场及其衍生产品 金融,固定收益,投资,衍生品,经济学,金融学,经济金融,　2020-02-20 …

人类学仪式理论与实践 人类学,仪式,301,　2019-07-01 …

交互式定理证明与程序开发大结局

剧情呢，免费看分享剧情、挑选影视作品、精选好书简介分享。