只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
双闭环直流调速系统仿真,带物理模型slx文件
deMSwZ.exe
STM32F7XX全系列原理图封装库
DFA的最小化 (完整可运行代码)
WebGL实现两个模型的独立运动:旋转、前进后退、缩放
HHT变换的三种方法 Matlab
pgen CAD转3DEC
基于循环神经网络的自然语言情感分类实例
Java+SQLServer学生成绩管理系统(代码+数据库)
网页设计期末作业
CAD污水处理厂素材
2020年中国手机射频滤波器行业深度研究报告.pdf
data1_final.anns
HDCP 2.2 Spec.
word模板替换方案.docx
学习数据科学:Pruebas de ciencia de los datos utilizando python junto con pandas和mat-源码
2020年春季中国学校在线复课效果评估专项调研报告.pdf
2021Java大厂面试题——大厂真题之中国平安-Java中级.pdf
kubectl wordpress.zip
酷开5S05_U2 5.5版本原厂系统刷机包 (android 5.0.1)
Ultrasonic Nondestructive Evaluation Systems
网上花店网站
清华大学讲义(操作系统)
JSP项目开发案例
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
EasyMedia-ui.zip
拾荒者扫描器.zip
Android小项目——新闻APP(源码)
Python+OpenCV实现行人检测(含配置说明)
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
MPC 模型预测控制matlab仿真程序
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
基于VMD算法的信号降噪.rar
得到品控手册7.0.pdf
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
java-spring-web-外文文献翻译40篇.zip
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
中国地面气候资料日值数据集(V3.0)-201001201912.rar
长江流域shp.zip
最新下载
CMOS超大规模集成电路设计(尼尔韦斯特)全部课件
普林斯顿大学Stein分析课程四部曲
超拉丁立方抽样matlab-latin-sampling(注释完全,可直接运行)(文档加Matlab源码)
影刀RPA应用一键迁移复制工具最新版 支持5.23
Asus AC68U Merlin HGG 380.70固件
华科数字电路实验Logisim工程文件
FriendsV2.0_婚恋交友系统_免费开源完整中文版
掌讯车机刷机包gongban-YT5760B-ui1-zlink-ota-v1.66
蚂蚁蜜蜂数据集,可以做二分类任务
中兴MF253升级工具(附固件).rar