只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
IC卡分析工具:IC客栈
SL275lab 练习答案
scipy-1.4.1-cp37-cp37m-linux_aarch64.whl
PCI Specification 3.0_PCI 3.0 规范
操作系统考研辅导教程
关于GeoDAS的PPT
24to8Colors.zip
省市区行政区划excel文档(更新至2018年1月19日)
JAVA五子棋源码(毕业设计 课程设计)
Java实现远程控制技术(附完整源代码)
c#井字游戏(含人机对战)
C#盘点代码(WINCE6.0).rar
net并发数据结构读写锁
JAVA JSP出差管理系统 源代码 论文
强大的液晶菜单
xxx网络监控方案设计(超值)
最新 objc APP 架构
Android项目源码界面超级华丽的仿QQ最新版本
Android 数独 游戏 源码
springboot springcloud 构建 微服务
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
全国河流水文站坐标.xls
中国地面气候资料日值数据集(V3.0)2014-2019.zip
多目标微粒子群算法MOPSO MATLAB代码
Autojs 例子 源码 1600多个教程源码
银行笔试 信息科技岗部分真题
拾荒者.exe同时ID扫描器IP扫描器
基于STM32的FFT频谱分析+波形识别
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
简易示波器-精英板.zip
2019和2021年华为单板通用硬件笔试题及答案
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
西门子逻辑控制设计开发_3部10层
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
最新下载
CLIPS中文用户手册
Unity3DTiles:Unity中的3D Tiles实施-源码
数字识别verilog代码.zip
i.MX6硬件设计资料
genesis2000易语言脚本接口最新更新!写脚本的用的上!内外挂合一模块7.0(内挂可调试2018-12-06)
柏林情感语料库
2019年最新alexa数据 (4月27号100W网站)
现代密码学第四版-杨波-课后答案.docx
ArcGIS 9.3.1 9.3SP1 汉化补丁(覆盖安装目录Bin即可)
通信系统工程第二版pdf版