只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
数理逻辑与范畴论应用(王世强)
数理逻辑与范畴论应用(王世强)
上传者:
easterdev
|
上传时间: 2019-12-21 19:41:37
|
文件大小: 4.96MB
|
文件类型: zip
数理逻辑
范畴
数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志就像xx编程规范,可以增强可读性正确性,减少bug。但也不仅于此,类型是对编程语言的抽象,类型表达一类变量或函数的共同行为特征。
文件下载
立即下载
评论信息
其他资源
电路元件Visio版
PDF浏览控件和实例PDFViewOCX(可用在VB6,C#)
cos.jar包下载
Matlab经典教程—从入门到精通
最优化-牛顿法求最优解matlab程序
计算机网络课程设计(精品网络课程网站).pkt
POC手机对讲软件
模拟退火进化粒子群算法
Java网上商城购物系统
java web项目实战:都市供求信息网
PCA+PSO-ELM.rar
大鱼吃小鱼游戏java源码
SOLIDWORKS 型材库 GB 焊件轮廓 各种标准件(十分齐全)
java华容道课程设计
帆软大屏制作培训教程
第16-17章notebook课件.zip
如何提升餐饮业品牌友好度上 .docx
Asp+access毕业设计+酒店客房管理系统+论文+源码
H+4.9版本(最新最全源码)
TestNG官方文档中文版
EP4CE6E22开发板完整原理图.pdf
全球机场城市三字码
DUILib最新版
Unity3D脑波游戏插件
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
SSM外文文献和翻译(毕设论文精品).doc
基于STM32的FFT频谱分析+波形识别
中小型企业网络建设.pkt
Alternative A2DP Driver 1.0.5.1 无限制版
Spring相关的外文文献和翻译(含出处).zip
python大作业--爬虫(完美应付大作业).zip
opcua服务器模拟器+opcua客户端工具.rar
voc车辆检测数据集(已处理好,可直接训练)
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
DBSCAN算法Matlab实现
matpower5.0b1.zip
基于OpenCV的车牌号码识别的Python代码(可直接运行)
基于STM32的电子时钟设计
最新下载
School Days HQ GPK文件解包工具
Powerbuilder6.5绿色版
Labview与基恩士LK-G5000激光测距仪TCP通讯
vox-adv-cpk.pth.tar
gcc-arm-none-eabi-9-2019-q4-major-win32.7z
历史上的今天数据库
AutoScriptWriter v2.0.zip
MT5双线MACD.zip
STM32cubeIDE 1.8.0
世界海用雷达手册.pdf