只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
数理逻辑与范畴论应用(王世强)
数理逻辑与范畴论应用(王世强)
上传者:
easterdev
|
上传时间: 2019-12-21 19:41:37
|
文件大小: 4.96MB
|
文件类型: zip
数理逻辑
范畴
数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志就像xx编程规范,可以增强可读性正确性,减少bug。但也不仅于此,类型是对编程语言的抽象,类型表达一类变量或函数的共同行为特征。
文件下载
立即下载
评论信息
其他资源
分子动力学lammps数据分析、二次开发、拉伸摩擦、非平衡统计、自由能计算学习资料
数值计算方法习题解答案
OFDM系统下不同子载波数时PAPR的CCDF曲线
小甲鱼数据结构与算法源码.zip
脉振高频注入法博士论文
广义表(C语言实现).rar
matlab实现男声变女声
kaggle在线零售业务数据,用于数据分析处理。
相关干涉仪算法
matlab翻译函数
五子棋C++源代码 单机 联机 人机对战 人人对战
大漠插件重新封装为DLL库
基于stm32F103的GRBL 0.9版本的移植
ExamActivity
算法与数据结构脑图|xmind打开
OAoffice-master.zip
C#仿微信飞机大战_改版170729
JAVA QQ聊天程序
C++项目实践
VC++ MFC 的计算器的详细设计
爱普生 XP-245 清零软件,亲测有用
C# 论文:实验室设备管理系统+数据库
excel常用的259个宏
H+ 后台主题UI框架4.1(最新版)
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
全国道路网SHP数据.zip
全国河流水文站坐标.xls
2019西门子杯六部十层电梯群控参考程序.zip
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
校园网规划与设计和pkt文件
风电场风速及功率数据.zip
IBM CPLEX 12.10 学术版 mac操作系统安装包
BP_PID控制仿真.rar
JPEG的Matlab实现
基于MQ2烟雾传感器的STM32F103程序
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
大学生网页设计大作业-5个网页设计制作作品自己任选
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
中小型企业网络建设.pkt
最新下载
墨鱼模块免费
jdk1.8免安装版
Qt5--UDP图片的发送与接收
php开发的人力资源管理系统全部完整源码-珍藏版
读地震sgy数据的C语言程序
FolderFix系统补丁-win7
Teigha3.03_9.rar
Chromatix7.7.3.01.00.Windows-x64.exe
chromatix.win.7.3_installer_70300.210-11-19_03_41_10.rar
xilinx-2011.09-50-arm-xilinx-linux-gnueabi.bin.7z