只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
大学MOOC 翁恺 C语言程序设计入门 课件PPT合集版 带目录.pdf
飞鸽传书demo_Qt
清华大学孙富春教授177页PPT讲解人工智能技术与产业发展.pptx
时频分析tfsap
EDA实验与实践.pdf 周立功
ELISACalc.exe
免狗金橙子打标软件 lasersoftEzcad2.7.6.zip
CvvImage.h和CvvImage.cpp
今日版式设计 超越平凡的平面设计
历届全国电子设计大赛优秀作品集合
python打包程序win7下运行丢失api-ms-win-crt-runtime-l1-1-0.dll的解决方法
基于CryptoAPI 的数据加解密文件.rar
[VS2013]MFC下使用ODBC读写Excel表格
Java小游戏(鱼吃鱼,误闯太空,卡牌)
CRM管理系统、教育后台、试听课、教师、学生、客户、学员、科目、优惠券、完课回访、客户管理系统、收费、退费、回访、账号权限、订单流水.rp
给USB鼠标超频.zip
MFC窗体设计
蓝色风格OA办公系统界面HTML 大气 PSD 源文件 漂亮 简洁
Geeklink极客设备运维系统
基于离散小波变换的心电信号预处理去噪程序
Designing Object-Oriented C++ Applications-Using the Booch Method
C#多线程(轮询,等待,回调)
aapt 64位 下载 轻松解决apk解析问题
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
基于LSTM模型的股票预测模型_python
ChinaMeteorologicalDataHandler.R
夏天IC助手1.8你们懂的
python爬虫数据可视化分析大作业.zip
商用密码应用与安全性评估——霍炜.pdf
王万良-人工智能导论(第五版)课件
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
长江流域shp.zip
基于OpenCV的车牌号码识别的Python代码(可直接运行)
房价预测的BP神经网络实现_python代码
MATLAB车牌识别系统
西门子逻辑控制设计开发_3部10层
DirectX修复工具V4.1增强版
IEEE33节点配电网Simulink模型.rar
python大作业--爬虫(完美应付大作业).zip
最新下载
软件开发文档模板(全套)
telnet客户端源码
delphi验证码识别,能够自己学习,绝对好用,没有任何第三方控件和dll
USB 2.0规范(英文版).pdf
OTN标准G.798
麒麟云打印服务端1.1.3
Win在线播放器N5-1214安装包.exe
qt-everywhere-opensource-src-5.7.1.tar.gz
基于TSMC 65nm工艺的射频集成电路(RFIC)设计实战指南:LNA、MIXER、PA详解
Webgame银河帝国OGameCN v1.4 bulid 090109.rar