下载 > 资源分类 >  开发技术 >  其它 > 数理逻辑与范畴论应用(王世强)

数理逻辑与范畴论应用(王世强)

2017-12-04 上传大小:4.96MB

数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志就像xx编程规范,可以增强可读性正确性,减少bug。但也不仅于此,类型是对编程语言的抽象,类型表达一类变量或函数的共同行为特征。
综合评分:0(0位用户评分)
开通VIP C币充值 立即下载

评论共有0条

登录后才能评论

 

相关推荐

数理逻辑与集合论 立即下载
积分/C币:12
高级数理逻辑第五章 立即下载
积分/C币:0
数理逻辑专著 立即下载
积分/C币:10
面向计算机的数理逻辑 立即下载
积分/C币:10
Ben-Ari 的 计算机科学中的数理逻辑 Mathematical logic for computer science 立即下载
积分/C币:3
数理逻辑中离散数学 立即下载
积分/C币:10
数理逻辑(中文版 H.B.Enderton) 立即下载
积分/C币:12
【数学】数理逻辑(第二版,H._B.djvu 立即下载
积分/C币:3
王浩.数理逻辑通俗讲话 立即下载
积分/C币:3
数理逻辑基础 立即下载
积分/C币:3
数理逻辑概貌 立即下载
积分/C币:2
高级数理逻辑第三章 立即下载
积分/C币:0
数理逻辑讲义附件. 立即下载
积分/C币:0
离散数学数理逻辑 立即下载
积分/C币:0
数理逻辑:基本原理与形式演算 立即下载
积分/C币:12
数理逻辑期中试卷以及答案 立即下载
积分/C币:3
数理逻辑课件 立即下载
积分/C币:3
数理逻辑Model Checking 立即下载
积分/C币:10
面向计算机科学的数理逻辑 第二版 答案 立即下载
积分/C币:3
数理逻辑实验报告 立即下载
积分/C币:3

热门专辑

VIP会员动态

关闭
img

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

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
扫码关注并点击右下角获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

数理逻辑与范畴论应用(王世强)

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

积分不足!

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

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

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
C币充值 开通VIP
img

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

兑换成功

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

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

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

举报

若举报审核通过,可奖励5下载分

  • 举报人:
  • 被举报人:
  • 举报的资源分:
  • *类型:
  • *详细原因: