只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
容大条码秤传秤工具RLS1000V1.130_t
CMMI最全资料-软件开发完整过程规范CMMI改进软件工程文档
电磁场理论与微波技术基础解题指导
SURF特征检测、描述、匹配
2019年蚂蚁课堂-余胜军主编Java工程师面试宝典-V1.0.pdf
AR模型功率谱估计以及MATLAB实现
微电网发电 仿真分析
音频数字水印SVD_DWTAudioMark
LPC1768keil例程
基于c#的网上书店系统
matlab打开las文件
Spring————面试题库
部分相干涡旋光束的实验研究
11-九次方-苹果大数据平台建设及应用思考.pptx
HFSS10的破解 版本10
mql5中文帮助文档
linux 系统cpu、内存、IO等监控脚本
internet实验报告(4)
2010年漂亮的圣诞节祝福网页 v1.0 HTML版.rar
C++课程设计报告-科学计算器加强版.zip
FDC2214液位传感中午资料
物料清单 bom图
apache-tomcat-8.5.20.tar.gz
WinForm BackgroundWorker完美示例
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
拾荒者扫描器.zip
空间谱估计理论与算法------程序.rar
航迹融合算法MATLAB仿真程序
中小型企业网络建设.pkt
得到品控手册7.0.pdf
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
matpower5.0b1.zip
基于yolov4-keras的抽烟检测(源码+数据集)
2019综合测评仿真.zip
2019西门子杯六部十层电梯群控参考程序.zip
房价预测的BP神经网络实现_python代码
非线性本构关系在ABAQUS中的实现.pdf
最新下载
Matlab 6.5 迷你绿色免安装 5.72MB
易语言JSON解析模块2.0
ost 2 pst 转换工具
HDBaseT标准2.0
极域多媒体教室互动管理系统软件v2.0.zip
u8g2-master.zip
Introduction to Mathematical Statistics (8th Edition)
金字塔固定资产管理4.0 注册机
转子动力学(有详细批注)
DOS汇编工具包(DosBox, MASM5.0, Edit)