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

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

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

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

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

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

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

作者简介

未发行或暂未收录

心理动力式心理治疗简明手册：健康保健管理时代下之原则与技巧 心理动力；台版；Y,精神分析,心理学,台版书,2001,　2020-02-20 …

深入理解程序设计 汇编,计算机,编程,Linux/Unix,程序设计,Linux,计算机科学,计算机体系结构,　2020-02-20 …

基于嵌入式实时操作系统的程序设计技术 嵌入式,μC/OS-Ⅱ,操作系统,软件工程,计算机,嵌入式开发,我的必读书目,μC\OS-Ⅱ,　2020-02-20 …

Akka应用模式：分布式应用程序设计实践指南 Akka,Actor,编程,架构,计算机,响应式,软件设计,程序设计,　2020-02-20 …

程序设计语言的形式语义 计算机科学,形式语义,编程语言,计算机,程序设计语言,编程,理论,语义,　2020-02-20 …

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

法式料理 Pension complète() 喜剧　2020-02-20 …

家庭教师解开！杀人方程式的推理练习 家庭教師が解く！～殺人方程式の推理ドリル～() 悬疑　2020-02-20 …

韩式料理轻松煮第一季剧情介绍 其他　2020-02-20 …

东京味道:110道日式料理的家常 美食,日本,料理,菜谱,饮食,省图,　2020-02-20 …

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

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