只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
pss,pac,pnoise仿真方法
S32K1xx系列MCU应用指南之CSEc硬件加密模块使用手册_v2.2.pdf
电力拖动自动控制系统(第3版)(陈伯时)
弹性波全波形反演代码和可执行程序
Matlab实现Mnist-image 手写数字图像识别
arcgis10.6汉化包下载地址
Easysize VCL
学生成绩管理系统管理系统源代码java+sql server
基于VHDL的具有自动乐曲演奏功能的电子琴设计
密码学介绍中文第二版(An Introduction to Cryptography)
北航研究生算法课期末资料-算法历年试题
ORB-SLAM3- TUM-VI Monocular-Inertial, Room1+Room2+Room3+Room4+Room5+Room6.mp4
植物:https://minecraft-zh.curseforge.comprojectsplants-源码
考研倒计时小程序.rar
通信原理课程公式 好东西
论文研究-基于分形和FNN的水轮机组振动故障在线诊断.pdf
黑马程序员 JAVA面试宝典 2018年5月最新版 Beta6.0
Getting started with P5.js
万万没想到:用理工科思维理解世界.pdf
LR(0)文法分析演示程序
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
西门子逻辑控制设计开发_3部10层
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
ios无人直播 虚拟视频实用版 可以导入视频
非线性本构关系在ABAQUS中的实现.pdf
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
简易示波器-精英板.zip
故障诊断数据集及实现代码
拾荒者扫描器.rar
CNN卷积神经网络Matlab实现
基于蒙特卡洛生成电动汽车充电负荷曲线程序
Android小项目——新闻APP(源码)
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
2021华为芯片研发岗位笔试题
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
基于YOLOV5的车牌定位和识别源码.zip
最新下载
Android API中文文档.rar
MATLAB智能算法-温正-配书代码
H3C-iNode-PC-7.3-E0630 inode最新全平台客户端 支持Windows和Mac和linux等
Python基于Django图书管理系统源代码
pcm音频文件
ArcGISProAI助手插件2.1(接入Deepseek)
otp_win64_19.3稳定版
AR1220-V200R005C20SPC200.zip
SAP GUI 780 for java macOS/M1/M2/ARM版
iFIX_v6.0 中文版