只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
基于经验模态分解(EMD)去噪的matlab代码
全志驱动包.zip
思达票据通开票打印软件 2.0.4
MikroTik RouterOS 6.36.3 【L6授权】64 位版,支持 vmxnet3 虚拟网卡
IEC61850规约第二版
传销案件数据分析工具
android左右滑动切换图片
人人都能用英语.pdf
数据结构——C++语言描述 陈慧南
工资管理系统(c++代码)
Modern Applied Statistics with S Fourth edition
gcc-linaro-5.5.0-2017.10-x86_64_aarch64-linux-gnu.tar.xz
GDALpyramid.rar
坐标系------_线性变换.pdf
树莓派安装QT5教程.pdf
ILI9221DS_V0.2.pdf
java android 调用webservice
A*解决8数码问题Java版
基于单片机的16键多功能电子琴
protege -5.0
Swf格式图片提取工具
呼叫中心tw等文件播放器
vc++2010旗舰版安装包.zip
UC1.5_UCH2.0_DZ7.2_SC
哈工程复试
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
token登录器.rar
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
2019和2021年华为单板通用硬件笔试题及答案
计算机专业实习日记+实习周记+实习总结
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
JPEG的Matlab实现
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
基于matlab扩频通信系统仿真(整套代码)
拾荒者扫描器.zip
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
PSO-LSSVM的MATLAB代码.rar
中国地面气候资料日值数据集(V3.0)-201001201912.rar
IEEE33节点配电网Simulink模型.rar
2019西门子杯六部十层电梯群控参考程序.zip
最新下载
电机故障数据集.rar
MATLAB硬件支持包
DeepFreezePasswordRemover
JMMassProd v1.16.15.12 修改硬盘盒固件 关闭休眠 工具
MPLAB IDE8.9汉化包 PIC编程软件(MPLAB IDE)V8.9 中文安装版
嵌入式+USB主机例程+USB从机例程
图片相似度对比源码-易语言
使用ollama容器部署Deepseek本地大模型后使用,C#winform离线版
STM32H7+以太网W5500程序.rar
基于stm32h7的spwm波生成代码 Spwm.rar