只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
GOCLOUD-S2A-4.3.0.14951底包.bin
道路监控视频
启天M7150 2012最新主板BIOS(含中文刷新工具)支持win7 64位
基于哈夫曼的信源编码与解码(附工程文件与实验报告)
jx300xp_3.7全兼容,浙大jx300xpDCS的opcserver软件破解文件
数字图像处理复习资料
混沌时间序列预测模型研究
libsvm3.14工具箱
vc6精简版[中文版]
随机过程及应用
ReportBuilder V17.02 XE2 完美版
keyclone1.9i.1最新免安装破解版
CentOS下安装Oracle12.pdf
Tecplot360EX2015R1中文特别版32位附安装教程
matlab非平稳信号噪声消除
无线电导航系统及其应用
Ubuntu下安装sqlite3数据库
C#中线算法,dda算法画直线
清华-2018人工智能之自动驾驶研究报告
二级C语言复习资料打包
Sybase ASE12.5 Windows 32bit x86版(8之3)
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
2010年-2020中国地面气候资料数据集(V3.0)
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
IBM CPLEX 12.10 学术版 mac操作系统安装包
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
python爬虫数据可视化分析大作业.zip
EBSD分析软件——Channel5下载安装教程
vivado 破解 lisence(有效期到2037年) 下载
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
麻雀搜索算法(SSA)优化bp网络
基于matlab的车牌识别系统设计
校园网规划与设计和pkt文件
Elsevier爱思唯尔的word模板.zip
最新下载
相机标定板-棋盘格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 安装程序亲测可用