只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
数理逻辑与范畴论应用(王世强)
数理逻辑与范畴论应用(王世强)
上传者:
easterdev
|
上传时间: 2019-12-21 19:41:37
|
文件大小: 4.96MB
|
文件类型: zip
数理逻辑
范畴
数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志就像xx编程规范,可以增强可读性正确性,减少bug。但也不仅于此,类型是对编程语言的抽象,类型表达一类变量或函数的共同行为特征。
文件下载
立即下载
评论信息
其他资源
实验室设备管理系统Java版
用matlab实现遥感图像分类
fping-5.0.zip for windows
javaWeb客户管理系统项目源码(CRM)mysql
产生均匀分布、瑞利分布、正态分布随机变量序列
Springboot初学者项目demo(超实用)
CISSP中文考试题
魔方组件.zip
使用内置传感器的LED进行LED热阻和TIM评估的研究
15_ModelsimSE.zip
阿里云大数据专业认证(ACP)学习笔记
自定义圆形进度条中间加图
T3方案山寨智能导航适配手机连接管理器TW01.4.2.4-160713[1].apk
Microsoft Windows Mobile.zip
Linux操作系统安装.docx
国产基础软硬件发展之我见
SSD1339 oled驱动规格书
基础的安卓天气预报小程序
国际贸易.rar国际贸易.rar
java毕业设计
图像稀疏表示matlab
gif动态彩图转化黑白动画(简单图形识别)
视频解密 Video+Demystified 5th.
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
校园网规划与设计和pkt文件
Plex v7.12电视端app
SSM外文文献和翻译(毕设论文精品).doc
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
基于Matlab的IEEE14节点潮流计算.zip
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
基于OpenCV的车牌号码识别的Python代码(可直接运行)
商用密码应用与安全性评估——霍炜.pdf
刚萨雷斯《数字图像处理》第四版答案.pdf
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
西安问题电缆-工程伦理案例分析.zip
2019综合测评仿真.zip
空间谱估计理论与算法------程序.rar
基于蒙特卡洛生成电动汽车充电负荷曲线程序
房价预测的BP神经网络实现_python代码
最新下载
普马肯依玛士小字符喷码机9400系列9450中文用户手册.pdf
STM32 SWD脱机烧录原理图和上位机
Visual C++ 6.0专业便携版,亲测Win10 1803可用
易语言D3D菜单绘制实例,游戏绘制实例!
EZ-USB_devtools_version_261700
GearBox 齿轮减速器设计系统 v5.0 绿色破解版
AC6921A蓝牙方案标准原理图V2.0(精简版).pdf
变压器综合(瀚科、荃华、chroma)3250、3302测试仪说明书
城市规划GIS技术应用指南_随书练习数据
5.8.0-mingw32-rel-static.7z