只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
数理逻辑与范畴论应用(王世强)
数理逻辑与范畴论应用(王世强)
上传者:
easterdev
|
上传时间: 2019-12-21 19:41:37
|
文件大小: 4.96MB
|
文件类型: zip
数理逻辑
范畴
数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志就像xx编程规范,可以增强可读性正确性,减少bug。但也不仅于此,类型是对编程语言的抽象,类型表达一类变量或函数的共同行为特征。
文件下载
立即下载
评论信息
其他资源
看板方法-科技企业渐进变革成功之道.pdf
定制对话框标题栏(颜色、按钮等)
powerXray电总协议串口通信调试助手
C++与Qt实现QChart设置时间轴随数据实时更新
英语单词词典数据库 mysql版
天线的波瓣图MATLAB仿真
JavaScript大作业
微分方程的平衡点及稳定性分析
全国三级及以上河流
笔记本销售网站
Xilinx Spartan-6封装库
MFC实现的串口助手源码
汽车销售系统java应用程序+SQL2000数据库设计完整版
苹果仿芒果TV模板.zip
游戏开发::joystick_selector::video_game:这是游戏开发学习的资料库,其中包含许多逻辑编程和语言! 让我们开发和玩吧!-源码
基于拓扑更新算法的向量网络连接设计
Tomcat日志仅供日志解析使用
基于vue20构建的在线电影网film
HP P6000系列配置手册
si4463 51 测试代码
单片机 飞思卡尔小车 原理图 PCB 源代码等
vc++单文档多线程绘图
s7-200编程实例30个带注释
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
知网情感词典(HOWNET)
上帝之眼和拾荒者.rar
离散时间信号处理第三版课后习题答案
画程(版本6.0.0.127)setup个人版
基于Matlab的IEEE14节点潮流计算.zip
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
多目标微粒子群算法MOPSO MATLAB代码
西安问题电缆-工程伦理案例分析.zip
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
Plex v7.12电视端app
token登录器.rar
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
EEupdate_5.35.12.0 win10下修改intel网卡mac
2020年数学建模B题(国二)论文.pdf
最新下载
2bizbox-allinone-setup-windows-4.5.1.exe
中国移动NGBOSS1-CRM技术规范
手机号字典.zip
2021-2022最全wifi爆破字典成功率很高85%
西电本科课程设计-差分放大器
数据包络分析(DEA)软件资源(DEA SOLVER pro 5.zip)
lxml-4.6.3-cp38-cp38-win_amd64.whl
斯坦福大学matlab压缩感知CS工具箱sparseLab
AR9331 wr703n pcb原理图 bom表 Datasheets PCB高清图
Mamba selective-scan-cuda-linux-gnu.so