只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
数理逻辑与范畴论应用(王世强)
数理逻辑与范畴论应用(王世强)
上传者:
easterdev
|
上传时间: 2019-12-21 19:41:37
|
文件大小: 4.96MB
|
文件类型: zip
数理逻辑
范畴
数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志就像xx编程规范,可以增强可读性正确性,减少bug。但也不仅于此,类型是对编程语言的抽象,类型表达一类变量或函数的共同行为特征。
文件下载
立即下载
评论信息
其他资源
Renci.SshNet.dll下载
自动控制 多学科视角(中文版)
Windows Server 2012 R2 安装 .NET Framework 3.5
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
MATLAB实现股票价格预测 源程序代码.rar
NXP TEF6686原理图PDF测试OK
Datagridview分页控件
23种设计模式之Java实现
8点算法计算基础矩阵(计算机视觉)OpenCV代码
利用FFmpeg将Jpeg图片转为任意视频容器格式
土工原理与计算(第二版)钱家欢 殷宗泽
VIM搭建C语言IDE
monportfolio:2021年星期一投资组合-源码
开源NoSQL数据库:ArangoDB入门指南
神州数码交换机“链路聚合”配置.doc
freq_syn.zip
语音芯片类培训教程.pdf
交通灯三菱PLC程序
完整的酒店餐饮管理系统源代码包括开发文档
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
基于OpenCV的车牌号码识别的Python代码(可直接运行)
基于YOLOV5的车牌定位和识别源码.zip
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
2020年数学建模国赛C题论文
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
拾荒者扫描器.zip
python大作业--爬虫(完美应付大作业).zip
Spring相关的外文文献和翻译(毕设论文必备)
2019年秋招—华为硬件工程师笔试题目.pdf
夏天IC助手1.8你们懂的
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
MATLAB之LSTM预测
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
opcua服务器模拟器+opcua客户端工具.rar
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
最新下载
愤怒的小鸟
国科大-系统与计算神经科学-期末复习
ssg140.6.3.0r27.zip
软件体系结构原理、方法与实践(第2版).张友生(带书签文字版).pdf_软件体系结构原理方法与实践pdf,软件体系结构原理、方法与实践-其它文档类资源
史上最全WindowsCE软件合集
winCE软件包(各种游戏,软件)
scrapy爬取cnblog博客园
cifar10 - pytorch - 模型源文件、train、test、use等源代码,kaggle上训练好的模型
概率论与随机过程
WinCE与PC间的文件网络传输工具_TransFile.zip