只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
数理逻辑与范畴论应用(王世强)
数理逻辑与范畴论应用(王世强)
上传者:
easterdev
|
上传时间: 2019-12-21 19:41:37
|
文件大小: 4.96MB
|
文件类型: zip
数理逻辑
范畴
数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志就像xx编程规范,可以增强可读性正确性,减少bug。但也不仅于此,类型是对编程语言的抽象,类型表达一类变量或函数的共同行为特征。
文件下载
立即下载
评论信息
其他资源
最新版uniGUI 1.90.0.1496 汉化包文件+注册机
《自动控制原理》(第五版与第六版)-胡寿松.zip
Fisher线性判别实验matlab代码
sql server2008_R2精简绿色版
bcm94352mac驱动
acis-hoops 桥的编译
Winform窗体嵌入WPF程序并发送消息
为LINUX 设计一个简单的二级文件系统。要求做到以下几点
环境风险预测软件 risksystem1.2.0.2
使用asp.net实现简单登录界面+网页简单布局
基于MATLAB的OFDM系统仿真程序
excel vba批量修改图片名称并插入word
产品设计经验分享:6个输入框,47个设计点
dbxcli:使用Go SDK构建的Dropbox命令行客户端-源码
编译原理LL(1)分析程序
Verilog SOPC高级实验教程
LeetCodecpp最新中文题解.pdf-PhoneGap文档类资源
车辆导航系统中大区域路径规划算法的设计与实现
DCT、IDCT和FDCT、FIDCT
武汉大学数据结构考研及期末考试试题及其解答
C++学习指南(语法篇)代码+pdf(pdf可直接打印)
章毓晋图像处理课后习题解答
北大青鸟论坛(JSP)项目。
数学建模竞赛题目 木板最优切割方案
租房系统 源代码 java jsp servlet技术 struts2技术
计算机图形学(MFC)-递归球
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
多机器人编队及避障仿真算法.zip
copula程序及算法.zip
狂神说Java系列笔记.rar
2019西门子杯六部十层电梯群控参考程序.zip
SSM外文文献和翻译(毕设论文精品).doc
基于MQ2烟雾传感器的STM32F103程序
python实现的学生信息管理系统—GUI界面版
transformer_pytorch_inCV.rar
简易示波器-精英板.zip
故障诊断数据集及实现代码
全国河流水文站坐标.xls
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
基于YOLOV5的车牌定位和识别源码.zip
西门子逻辑控制设计开发_3部10层
最新下载
相机标定板-棋盘格216x279_行列10x7_宽度20mm,可直接打印使用。
Android Image Kitchen
delphi DevExpress Vcl 23.2.6 full source
The Reasoned Schemer, 2nd Edition
windows版本的graalvm-community-openjdk-23.0.1+11.1
resnet50-caffe.pth
CT7601 最新驱动,支持WIN 7 WIN10
海康摄像机Python版SDK含编程指南.rar
AI 科研绘图矢量素材库
Watch/Forward2.71 安装程序亲测可用