只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
数理逻辑与范畴论应用(王世强)
数理逻辑与范畴论应用(王世强)
上传者:
easterdev
|
上传时间: 2019-12-21 19:41:37
|
文件大小: 4.96MB
|
文件类型: zip
数理逻辑
范畴
数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志就像xx编程规范,可以增强可读性正确性,减少bug。但也不仅于此,类型是对编程语言的抽象,类型表达一类变量或函数的共同行为特征。
文件下载
立即下载
评论信息
其他资源
佳能G1810G2810G1800G2800G3800 废墨 清零软件清零方法教程说明.rar
html javascript 天气预报 (内附源代码)
qt5串口简单实现图片、pdf文件的传输
processing x86的video库
80套html前端模板
数字电路验证环境UVM实战教学
自动化电气专业实习报告
SAAS全文档需求资料
021 酒精浓度检测 仿真 显示 51单片机
MFC程序开发之聊天室(客户端+服务器)源码
zjpdistribute.plist
hanenv.exe hanenv的源代码(gwguanzhi)自带了点阵字库,附说明书
[视频]基于.NET框架的分层开发-基础篇-05-创建实体类.mp4
c++标准程序库自修教程与参考手册
3DxWare-SDK_v2-0-4_win32
Anaconda3-5.2.0-Windows-x86_64.exe
校园网的设计之网络平面结构图
pb数据窗口美化(grid线条颜色/字体垂直居中)
在VC 6.0的opencv环境下视频显示与捕捉
GB_T31495.2-2015信息安全技术信息安全保障指标体系及评价方法第2部分指标体系
CC2530-HMC5883L通过I2C通信
HTML-商城界面
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
得到品控手册7.0.pdf
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
非线性本构关系在ABAQUS中的实现.pdf
知网情感词典(HOWNET)
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
Android小项目——新闻APP(源码)
Spring相关的外文文献和翻译(含出处).zip
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
云视通端口扫描器.rar
航迹融合算法MATLAB仿真程序
stm32f103+OLED12864+FFT音乐频谱(多种显示效果 提供原理图)
MATLAB车牌识别系统
商用密码应用与安全性评估——霍炜.pdf
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
最新下载
H330、H730、H730p RAID 2008R2、2012、2012R2 驱动
Atherosar9485 Driver for win10_32_64-10.0.3.456.rar
nodejs开发微信小程序支付-包含前后端代码-开箱即用
UIFramework.unitypackage
华中科技大学计算机组成原理实验二运算器实验Logisim源文件8位可控加减法器设计32位算术逻辑运算单元ALU设计
MEMS 陀螺仪( gyroscope)的工作原理
B310As-852_固件UPDATE_21.290.01.51.59
unity博物馆.zip
PSTools.zip
Virtual Audio Cable 4.10 (去除 "trial" 声音 + 安装设置说明).zip