只为小站
首页
域名查询
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
cascadexml.rar
军棋源代码
模糊线性规划matlab
TLP250 驱动电路
JPG图片文件捆绑工具
PostMessage函数的使用实例
利用fluxion自动化破解wifi
遗传算法的图像处理
Win32 API 教程第二版(简体中文)
《TCP/IP协议族》(第4版)部分习题解答
AMBA3-AHBLite中文协议
AVPro Video Player 1.9.14.zip
自制某工厂进销存系统.rar
2020美团技术年货-合集 .pdf
文本编辑工具UE和nodepad++.rar
style样式表.css
中文 实现领域驱动设计
图像处理第四版讲义 章毓晋
51单片机-舵机控制C语言程序
科脉智赢商业管理软件V9用户手册
Memory Dump Analysis Anthology, Volume 11
Apache Commons官网下的jar包
10万条社会类新闻未处理数据集
串口数据波形显示
Canon SDK (全套)
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
数据结构课后习题答案
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
MAC OS.X.10.8.iso 镜像文件
多智能体的编队控制matlab程序(自己编写的,可以运行)
voc车辆检测数据集(已处理好,可直接训练)
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
基于yolov4-keras的抽烟检测(源码+数据集)
基于Matlab的IEEE14节点潮流计算.zip
simulink仿真实现光伏发电MPPT+能量管理
avantage 软件 xps 处理软件30天后不能使用问题
画程(版本6.0.0.127)setup个人版
基于matlab的车牌识别系统设计
最新下载
STM32解码ev1527类的433遥控器
Mstcpip.h下载免费
Citrix 7.15 最新POC全套实验手册
ISO12944-1
全球省市区数据,非常全面
X12_X13季节调整程序(python).rar
setuptools-1.3.win-amd64-py2.7.exe
Intel C++各个版本的下载地址(包括其他)
(俞立)现代控制理论-浙江工业大学讲义
MVS-2.1.0_aarch64_20201228.zip