只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
数理逻辑与范畴论应用(王世强)
数理逻辑与范畴论应用(王世强)
上传者:
easterdev
|
上传时间: 2019-12-21 19:41:37
|
文件大小: 4.96MB
|
文件类型: zip
数理逻辑
范畴
数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志就像xx编程规范,可以增强可读性正确性,减少bug。但也不仅于此,类型是对编程语言的抽象,类型表达一类变量或函数的共同行为特征。
文件下载
立即下载
评论信息
其他资源
libmysqlclient.so.18.0
WinDriver10.20含32+64+注册机
ALIENTEK战舰STM32 V2.3原理图和PCB
元胞自动机实现交通流模拟
Java+MyEclipse+Tomcat 详解Servlet和DAO数据库增删改查操作(源码)
WPF开发C#开发完整教程 网盘地址
图像泊松融合(possion blending)算法
pig_coco.py
巨龙效果图自动切片生成Div+Css软件(附带自写的注册机)
基于单片机的数字电能表 程序设计
基于MSP430F149的简易心电图仪设计
第四届“飞思卡尔”杯电子科技大学.zip
C_Primer_Plus_6.11.165.c
the_forge:我们突破性的,快速的PWA CLI工具-源码
AN_SY6340_SSI.pdf
8通道自动温度检测系统仿真
C#文本分割器(源码)
基于FPGA的彩色图片转灰度实现
测量电子电路设计-滤波器篇
产品经理大会 北京站 嘉宾PPT分享
企业电话客服系统 C# 源码
android横版特技赛车《Danger Climber 2 》游戏源码
(包含demo)org.sf.feeling.swt.win32.extension_1.1.0.zip
android-openGL-canvas-master.zip
工时定额标准查询参考1.1.6.1破解版
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
锁相环simulink建模仿真.rar
基于ray filter的雷达点云地面过滤ROS节点
python实现的学生信息管理系统—GUI界面版
长江流域shp.zip
PLECS中文手册.pdf
狂神说Java系列笔记.rar
BP神经网络+PID控制simulink仿真
王万良-人工智能导论(第五版)课件
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
全国道路网SHP数据.zip
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
opcua服务器模拟器+opcua客户端工具.rar
空间谱估计理论与算法------程序.rar
基于MQ2烟雾传感器的STM32F103程序
最新下载
淡抹夕阳登陆器源码...比较完整
ArcObjects 10.7 离线帮助文档
pex8764.rar
中管餐饮管理软件 单机收银版
银豹收银系统单机绿色破解版
餐饮收银端软件
gh0st 1.0源码
SDM toolbox
电子设计大赛常用模块
multisim14.0 元件库MSCOMP-S.PRD