只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
DNF工作室专用自动起号脚本
opengl房子
国科大计算机视觉往年试题
USB 3.1通信协议
电子商务平台的APP源代码
低秩表示模型
jdk-8u221-linux-x64.tar.gz
基于Nexys4 ddr开发板的VGA测试程序
结合Gabor特征与Adaboost的人脸表情识别
Cascading Style Sheet 3.0 中文手册
图数据库的电影推荐系统的设计与实现
STM32F427 USB VCP DCD官方例程移植程序
MODBUS从站模拟器支持Modbus tcp及Rtu.rar
CSI2020_12_15.zip
用于将有向超图嵌入加权环的多项式时间逼近方案
griffin1.zip
https协议h5桌面通知与java通知.rar
cad shx字体文件解析
phpmaker 7注册破解版(含注册机)
gcc4.4 g++4.4 cpp 4.4 deb包
apache-tomcat-6.0.47.tar.gz
基于at89c51的秒表设计
AD9833核心波形发生程序
GIS拓扑关系生成程序
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
张正友相机标定Opencv实现(完整程序+棋盘图)实例源码
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
token登录器.rar
Keil5安装包
基于VMD算法的信号降噪.rar
QT自制精美Ui模板系列(一)桃子风格模板 - 二次开发专用
长江流域shp.zip
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
2019年秋招—华为硬件工程师笔试题目.pdf
IEEE 39节点系统的Simulink模型
Spring相关的外文文献和翻译(含出处).zip
quartus II13.0器件库.zip
中国地面气候资料日值数据集(V3.0)2010-2019.rar
MTALAB NSGA2算法
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
最新下载
[X-Ways] X-Ways 法医从业者指南 (英文版)
centos64位编译luajava1.1
FLASHburn工具
Mifare offline cracker GUI (mfocGUI) v2.9
黑苹果系统AR9565无线网卡驱动及方法
百胜软ipos数据字典
STM32F407SD卡IAP升级
联想X201图纸+点位图.rar
python 开发51商城的程序源码含数据库+详细配置使用说明书
Python图书馆管理系统课设项目 +源码+高分项目