只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
ALIENTEK战舰STM32 V2.3原理图和PCB
ST官方例程包.rar
数学建模2019美赛D题 逃离卢浮宫 代码
基于move_base的循环导航程序
ProEssential用户使用详解(中文)
win10安装twincat3文件下载,亲测不死机TC31-Full-Setup.3.1.4022.30.txt
创建 AGWN/ISI 信道模型及m序列产生
德州扑克获胜概率计算的MATLAB程序
EPLAN Pro Panel实例入门(高清.书签)
C++ 药品管理系统
2005到2018年软件评测师真题及答案
计算机系统基础_习题解答与教学指导(完整书签).rar
android获取GPS经纬度,并根据经纬度获取准确地址(纯原生,不用任何第三方sdk)
ODBC API 开发教程.pdf
PHP+mysql学生信息管理系统
Could not generate DH keypair 解决方案
半监督图像注释在两个相反方向上的协作稀疏表示
librdkafka-1.6.0.tar.gz
fastjson-1.2.5.jar下载
知乎—ios5旧版本APP
spectral_clustering简单matlab实现
Wpf宣染(3D地球)
陈硕视频 网络编程实战
计算机网路静态路由编程实验
BBS论坛.mdl
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
Alternative A2DP Driver 1.0.5.1 无限制版
华为OD机试真题.pdf
2019和2021年华为单板通用硬件笔试题及答案
ios无人直播 虚拟视频实用版 可以导入视频
MPC 模型预测控制matlab仿真程序
Android大作业——网上购物APP(一定是你想要的)
pytorch实现RNN实验.rar
夏天IC助手1.8你们懂的
android开发期末大作业.zip
数字图像处理[冈萨雷斯]
航迹融合算法MATLAB仿真程序
先进PID控制Matlab仿真第4版-PDF+代码.zip
Python+OpenCV实现行人检测(含配置说明)
拾荒者扫描器.rar
最新下载
北京交通大学随机过程历年试题
基于Proteus的数字钟设计及仿真.
kernel-devel.zip,kernel-devel-3.10.0-1127.18.2.el7.x86_64.rpm
Navicat连接国产瀚高库的方法
转:excel中用的md5宏,可批量转字串为md5码(附最新使用方法)
OpenSceneGraph 3rdParty_VS2017_v141_x64_V11_full.7z
Keil MDK 5.37
DL4J所有jar包导入项目就可使用
斗地主棋牌UI资源
最新中国电信CRM规范2.0