只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
新马送货单打印软件2019破解版
SElinux学习笔记_Harry Ciao
基于ATMEGA164的LCD1602液晶的Proteus仿真
STM32F103、USB鼠标、原工程项目、说明、图片、联系方式
DLMS/COSEM OBIS项目列表
认知无线电中的能量检测算法matlab代码
k近邻算法matlab实现
超级玛丽源码
ssd7 exercise7 完整答案
基于梯度的图像/视频SoftCast,具有分组修补协同重建功能
HTC shift 厨房提供机油自己研究的dump(含工具).rar
塞尔吉-源码
R410A制冷剂和POE+VG+68润滑油混合物热物性模型.pdf
simscape_gs_tran.pdf
java实现简单图形化计算器
HTML标准教程
基于Matlab的GPS卫星仿真器设计
操作系统 缺页中断
基于.net技术的校园新闻发布系统全套(带源码)
考勤管理系统(Delphi)
猫数据集(包含训练集和测试集)
C#制作的简单(学生信息管理系统)
jTessBoxEditor
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
雷达信号处理仿真程序(MTI,MTD等)
华为OD机试真题.pdf
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
大唐杯资料+题库(移动通信)
基于ray filter的雷达点云地面过滤ROS节点
多目标优化算法(四)NSGA3的代码(python3.6)
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
PSO-LSSVM的MATLAB代码.rar
simulink仿真实现光伏发电MPPT+能量管理
麻雀搜索算法(SSA)优化bp网络
YOLOv5 人脸口罩图片数据集
机械臂避障路径规划仿真 蚁群算法 三维路径规划
MATLAB车牌识别系统
最新下载
MT29F 镁光 NAND Flash数据手册大全
电赛优秀作品(99-15).rar
fptw64所有版本下载 Intel(R) Flash Programming Tool
利用COMSOL等离子体仿真模块实现空气沿面介质阻挡放电仿真模型研究 等离子体仿真 资料
GX works2重装工具,三菱软件环境清除工具
西北干旱区矢量边界.SHP
锂电池管理系统合集-V2.35-3天邦达铁塔换电BMS&通用上位机 V1.55和采集线接法
最优化理论,cplex20.10,python-cplex 和 python-docplex 相关安装包
JBL RMP2000K
Arduino-mpu6050.zip