豆瓣
扫码直接下载
内容涵盖coq入门、形式语义、程序验证、类型系统，可以边读边在coq上做证明，强力推荐
前半部分主讲Coq，后面部分和TAPL结合起来看。 好多题目没做完，需要多看几遍。
软件理论基础与实践
纯属巧合般翻到了这本书，coq写得入门，其余的我也不太懂
学习PLT的入门神作
Coq 入门最佳教材。
There are many hidden gems in the advanced exercises, both theoretical and practical. Don't just skip them.
Coq入门可以康康
Cop入门教材
已经出到系列四了
编程语言实验室必读系列，形式化证明的入门书。第一卷介绍了 Coq 的基本原理和使用，第二卷前面简单讲了霍尔逻辑、后面着重讲了小步操作语义下怎么证明类型安全，第三四卷暂时没看。
学完coq之后再学后续的type theory和math logic可能会容易一些。里面的每一道例题与习题最好还是亲自写一写，会有很大的收获的。
这本书最好的就是它经常介绍证明背后的的intution，直觉主义逻辑本身也不容易出问题，可以说是我看的最心服口服的几本书之一
入门神作啊，一定要看哦
It's inspiring many interesting examples in there. But sometimes I cannot understand the content.
> Software Foundations
10 有用 モナドハンター 2017-02-21 13:37:38
内容涵盖coq入门、形式语义、程序验证、类型系统，可以边读边在coq上做证明，强力推荐
5 有用 h0n9xu 2016-12-26 20:33:47
前半部分主讲Coq，后面部分和TAPL结合起来看。 好多题目没做完，需要多看几遍。
1 有用 Licht 2022-08-18 12:29:19
软件理论基础与实践
0 有用 可可西里羊 2021-08-15 09:37:54
纯属巧合般翻到了这本书，coq写得入门，其余的我也不太懂
2 有用 Z.Y. 2016-12-12 22:59:49
学习PLT的入门神作
1 有用 梦里醉逍遥 2016-12-06 08:27:54
Coq 入门最佳教材。
0 有用 DestinHistoire 2024-12-19 01:06:52 日本
There are many hidden gems in the advanced exercises, both theoretical and practical. Don't just skip them.
1 有用 破title 2020-08-22 19:25:03
Coq入门可以康康
2 有用 面包牛奶5毛毛 2019-07-29 20:22:05
Cop入门教材
0 有用 Monad 2018-07-24 01:04:49
已经出到系列四了
0 有用 𝕾𝖚𝖓 2019-10-30 22:01:32
编程语言实验室必读系列，形式化证明的入门书。第一卷介绍了 Coq 的基本原理和使用，第二卷前面简单讲了霍尔逻辑、后面着重讲了小步操作语义下怎么证明类型安全，第三四卷暂时没看。
0 有用 hummer 2019-11-29 16:43:39
学完coq之后再学后续的type theory和math logic可能会容易一些。里面的每一道例题与习题最好还是亲自写一写，会有很大的收获的。
2 有用 Fisherchenxi 2021-02-12 10:39:57
这本书最好的就是它经常介绍证明背后的的intution，直觉主义逻辑本身也不容易出问题，可以说是我看的最心服口服的几本书之一
0 有用 离我远点 2020-11-23 11:16:13
入门神作啊，一定要看哦
0 有用 清清超人 2020-11-23 22:07:19
It's inspiring many interesting examples in there. But sometimes I cannot understand the content.