首页
熊猫办公下载
文件下载
根据地址查询经纬度
登录 / 注册
首页
课程资源
软件测试
/ 计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间:2020/10/4 8:43:58
|
文件大小:8.96MB
|
文件类型:zip
.mobio文件
计算机科学中的范畴论
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和方式规范等方面的应用
本软件ID:
6876479
文件下载
立即下载
资源详情
-软件测试
评论信息
qq_35186562:
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6:
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
ps提取h264源码
基于STM32的LCD1602驱动程序
电子科技大学20年《uml》期末考试真题(含答案).pdf
OPCUA客户端服务器标准库源码
使用Struts2框架完成一个简单的留言板(包含完整源代码+数据库+程序截图+中文显示数据)
计算机图形学第四版英文版带目录
遗传算法优化小波函数车位预测
videojs播放rtmp视频
谭浩强(两本C语言以及C++)PDF高清版.zip
matlab进行CRC编解码
精通VisualC++数字图像处理技术与工程案例源代码
ROS暴力破解
DelphiXE8下载+破解+汉化全搞定
黄海广博士整理的吴恩达深度学习笔记,v5.44,746页
8255的8LED显示Proteus,8086
CiscoCUCM管理员手册9.1
宠物用品销售零碎.doc
roboform破解版
PowerDesigner的資料庫操作(Sybase).doc
Pthread多线程C++静态库+静态库+头文件
免责申明
【好快吧下载】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【好快吧下载】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【好快吧下载】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,8686821#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录or注册
|
微信登录
一言
相关资源标签
热门下载
双系统双频伪距单点定位程序
中科院考博英语2009-2018年试题及答案解析(十五套436面).pdf
飘逸传世引擎源代码
数据库系统概论第五版
Docker构建tomcat镜像jdk1.8+tomcat9.zip
几何画板课件350套.zip
R9390系列BIOS修改和风扇调速工具
HTML5+CSS3中文参考手册(3手册)chm版中文参考手册打包
新升级版TP5商城小程序源码+公众号版+h5一整套源码V3.zip
CNS2_CN_VW_P0095D_0332.7z
KEPServerEXV6.7.zip
吉利新金刚2016款车机导航系统
ABAQUS金属非稳态和稳态切削过程的模拟分析_张东进.pdf
ENVI去云补丁Haze_tool文件及其使用说明和安装方法
高光谱和LiDAR多模态遥感图像分类数据集
最新下载
dsPIC语言工具库
简单PQ控制matlab
无组件ASP文件上传源代码
数据库基础知识大全培训.ppt
毕业论文-计算机-论坛设计-动态网页-PHP-MySQL+论文
求解2维NS方程的Matlab源程序
VECTORMICROSARTechnicalReferences(AUTOSAR的BSW所有模块的技术参考手册)
Kafka.xmind
英菲克四核A31S-I9E,I6H等精简屏蔽.zip
社交运营数据挖掘.ppt
JavaEE大型实验报告(相亲网)
51单片机实现电子密码锁
端口扫描器的设计与实现(java)
opencv+ffmpeg图片序列写Mp4
JAVA企业OA办公管理系统源码