只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
NASA_li电池_B0025-28.csv文件.rar
Brocade Visio图标
x-pack-sql-jdbc-6.4-7.6各个版本jdbc驱动--百度网盘下载
统计建模与R软件课后答案薛毅
JSP开发新闻网站 《JSP项目开发》实训报告
自绘/重绘MFC右键菜单CMenu
STM32自定义HID设备块传输+libusb上位机程序
jstl jar 包
电子商务网站用例图
软件设计师考试同步辅导.pdf
Android 简单的人机对战五子棋游戏
ArcGIS API for Javascript4.9最新API和开发文档
当当网完整项目、包括js、css、html
SocketTool V4.0
电影票在线售票系统
基于SSH框架的图书管理系统
库存管理系统 数据库课程设计
轻量级开源图像浏览器 ImageGlass 8.0.12.8 x64 中文多语免费版.zip
2015年全国大学生电子设计竞赛本科组B组风力摆控制系统源程序
简单的逻辑学
计算电流表及需要系数表.xls
工业互联网人才白皮书(2020)-2020.6-67页.pdf
华中农大复试真题(2015-2019)
便签-小米安卓源码
ESP8266 PWM
ProE二次开发实例教程
学生信息管理系统
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
简易示波器-精英板.zip
C4.5决策树算法的Python代码和数据样本
中国地面气候资料日值数据集(V3.0)2014-2019.zip
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
EEMD算法应用于信号去噪.rar
Plex v7.12电视端app
matpower5.0b1.zip
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
基于Matlab的PI/4 DQPSK的调制解调源代吗
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
EEupdate_5.35.12.0 win10下修改intel网卡mac
芯片验证漫游指南以及源代码.zip
MATLAB车牌识别系统
最新下载
airtop仿真软件使用手册
工程电磁场数值计算(倪光正编)
小米5s recovery 中文版 TWRP_MI5S RC
管家婆进销存绿色破解版
103规约,以太网103规约模拟器(包含客户端,服务器)
ojdbc14.jar包
c#代码控制扩展屏
昆仑通态(MCGS)嵌入版_厦门宇电_AIJ系列仪表.rar
MySQL工具HeidiSQL下载exe安装包
15800头像.zip