qq_75374285

哥德尔证明pdf中文

《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。内容简介《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。

Lectures on the CurryHoward isomorphismElsevier Science2006高清PDF

这本书通过非常清晰的语言讲述了程序与命题之间的柯里霍华德同构关系

C++模板元编程pdf

所谓元编程就是编写直接生成或操纵程序的程序,C++模板给C++语言提供了元编程的能力,模板使C++编程变得异常灵活,能实现很多高级动态语言才有的特性

Coq8.8.1Windows安装包

Github上提供的CoqTopRelease的下载速度可能非常慢，这里为网络状况不好的朋友提供一个镜像

CategoryTheoryforScientists高清PDF

每个人都应该看一看的范畴论入门教材，非常浅显易懂。

2011_2016年数学建模美赛O奖论文

建模美赛O奖论文，大家有兴趣的可以看一看。

Partial Evaluation and Automatic Program Generation高清PDF

This book is about partial evaluation, a program optimization technique also known as program specialization. It presents general principles for const

交互式定理证明与程序开发Coq归纳构造演算的艺术高清PDF

定理证明是数学领域一个古老的分支，它从公理出发，利用推理规则为定力寻找证明过程。