只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
SecureCRT 7.3x(含注册机)
低速RS485中继器原理图参考设计资料文档(完整原理图和PCB)
基于OpenCV的疲劳驾驶检测系统的设计与实现
keepalived+haproxy安装配置手册
Geoserver系统构架设计
基于java web的求职招聘网站
基于深度学习的目标检测算法综述.docx
国外资源 基于PCA的人脸识别matlab代码
软考高级系统架构设计师所需要的所有资料,教程、大纲、整体 (清华版本)
牛逼抓包工具 Socket通讯抓包
亲测可用的完成学生成绩管理系统asp+access
flappy bird(java版)
java核心技术卷1 mobi
皖南古村落旅游开发对村民影响及查济旅游献策.pptx
拉希德-源码
elastic-job-quickstart.zip
测试-源码
ADC0831.zip
树熊X2吸顶原版编程器固件
场馆申请信息管理系统小作业基于Access
OracleWeblogic1Z0-102题库
USB2Dynamixel驱动器资料
汽车销售集团网站 完整源码及论文
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
Plex v7.12电视端app
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
风电场风速及功率数据.zip
数字图像处理[冈萨雷斯]
Spring相关的外文文献和翻译(含出处).zip
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
EasyMedia-ui.zip
多机器人编队及避障仿真算法.zip
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
长江流域shp.zip
云视通端口扫描器.rar
拾荒者.exe同时ID扫描器IP扫描器
全国河流水文站坐标.xls
MATLAB车牌识别系统
最新下载
kettle_jdbc_连接mysql_oracle_dm_gbase数据库jar包.rar
Abaqus模拟焊接的方法
Matlab读取Nastran的PCH文件
illustrator AI 打开 多页PDF 插件
jdk-7u25-windows-i586.exe
官网jdk1.7.0_25版本(Linux64位)解压版
时光驻留器+痕迹擦除器
opencv-341.jar + libopencv_java341.so
javamail.zip
GPS串口对时软件V2.2