下载 >  课程资源 >  专业指导 > coq函数式编程 list

coq函数式编程 list 评分:

Coq 函数式编程 形式化方法课程讲义 list 链表操作
2012-10-29 上传大小:57KB
分享
收藏 举报

评论 共1条

coldicexhb 资源不错,刚刚开始学先存着~
2014-01-16
回复
Coq 8.8.1 Windows安装包

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

立即下载
mathematical components一个coq库的使用介绍

关于如何用coq定理证明器的mathematical components的扩展库进行数学形式化证明的文档。

立即下载
Coq Induction.v 答案

Coq Induction.v 答案 Coq Induction.v 答案 Coq Induction.v 答案

立即下载
Coq basics.v 答案

Coq bascis.v参考答案Coq bascis.v参考答案Coq bascis.v参考答案Coq bascis.v参考答案

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

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

立即下载
交互式定理证明与程序开发 Coq归纳构造演算的艺术.

交互式定理证明与程序开发 Coq归纳构造演算的艺术 Interactive Theorem Proving and Program Development Coq'Art: The Calculus Of Inductive Constructions Yves Bertot,Pierre Casteran等 出 版 社: 清华大学出版社 出版日期: 2009-11-25

立即下载
Coq Lists.v 答案

Coq Lists.v 答案 Coq Lists.v 答案 Coq Lists.v 答案

立即下载
COQ tutorial

COQ is a theorem prover. here is a tutorial for COQ

立即下载
Certified Programming with Dependent Type

学习coq用的书

立即下载
函数语言与设计

Coq的应用,内涵电子书HTML以及Coq代码,希望能帮助到喜欢函数语言应用及证明的朋友

立即下载
Java+8函数式编程高清PDF

新版本Java8函数式编程pdf下载,此处仅提供下载。欢迎下载

立即下载
Art of Coq

Classic book of Coq proof system

立即下载
JavaScript函数式编程.pdf

JavaScript函数式编程.pdf 个人收集电子书,仅用学习使用,不可用于商业用途,如有版权问题,请联系删除!

立即下载
Coq in a Huryy

人机交互定理证明工具Coq的入门手册,可让用户快速了解Coq的使用方法,适合入门级用户。

立即下载
Scala函数式编程_最新版.pdf

Scala函数式编程 全面 覆盖面广 Scala函数式编程 全面 覆盖面广

立即下载
函数式编程思维 高清完整PDF版

函数式编程思维 高清完整PDF版 函数式编程思维 高清完整PDF版

立即下载
Scala函数式编程 PDF

√ Scala的入门好书有《快学Scala》,但讲高阶特性的仅此一本,*。√ 自成体系已显大师风范,亲手设计习题更是罕见,本书习题可谓王冠之明珠。√ 经典名著,岂敢怠慢!本书译者是Scala社区翘楚,更有旗帜人物作序力荐。√ 好书不仅给你知识,更带来挑战。本书实属典范,语言|函数式|智慧全面挑战

立即下载
Java8 函数式编程 - 中文高清完整 PDF + 源码

Java8 函数式编程 - 高清完整 PDF。 【英】Richard Warburton 著 王群锋 译

立即下载
JavaScript函数式编程_PDF电子书下载 高清 带索引书签目录.pdf

JavaScript函数式编程_PDF电子书下载 高清 带索引书签目录.pdf

立即下载
JavaScript函数式编程_PDF-(美)佛格斯著

内容简介 · · · · · · JavaScript 是近年来非常受瞩目的一门编程语言,它既支持面向对象编程,也支持函数式编程。本书专门介绍JavaScript函数式编程的特性。 全书共9章,分别介绍了JavaScript函数式编程、一等函数与Applicative编程、变量的作用域和闭包、高阶函数、由函数构建函数、递归、纯度和不变性以及更改政策、基于流的编程、类编程。除此之外,附录中还介绍了更多函数式JavaScript。 本书内容全面,示例丰富,适合想要了解函数式编程的JavaScript程序员和学习JavaScript的函数式程序员阅读。

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

coq函数式编程 list

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: