只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
UML精粹:标准对象建模语言简明指南(第三版 UML CHINA译).pdf
三级网络技术电子教材.pdf
提取网页中swf文件及转换成PDF方法
金字塔车辆管理系统永久注册版
最小权顶点覆盖问题
中国石油大学《数值计算方法》期中考试试卷(含答案).pdf
通信原理PCM编译码仿真
DSM转高程点.tbx
461.40-notebook-win10-64bit-international-dch-whql.exe
Building Single Page Applications in .NET Core 3 Jumpstart Coding Using Blazor
Proteus仿真:基于查询方式的51定时器【成功】.rar
PPT从菜鸟到高手-课件.ppt
ADF4106实例代码
品茗土建资料破解版
用Servlet实现的二维码图片生成
Linux基线修复
简单易懂C++ WebServer接口开发源代码+详细注释
H+ 响应式后台主题UI框架-V.4.1.0-完整版下载
SQL Server2005 64位 官网精简版
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
西门子逻辑控制设计开发_3部10层
银行笔试 信息科技岗部分真题
现代操作系统原理与实现.pdf
Vivado license 永久
ios无人直播 虚拟视频实用版 可以导入视频
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
基于VMD算法的信号降噪.rar
基于YOLOV5的车牌定位和识别源码.zip
基于Matlab的PI/4 DQPSK的调制解调源代吗
EasyMedia-ui.zip
刚萨雷斯《数字图像处理》第四版答案.pdf
故障诊断数据集及实现代码
基于matlab扩频通信系统仿真(整套代码)
基于STM32的电子时钟设计
最新下载
stripchat视频下载地址.txt
ser2pl64.sys是电脑重要系统文件,主要用于串口转USB,描述:USB-to-Serial Cable Driver
STM32 SDIO+4bit模式驱动的FatFS
Python 3 Using ChatGPT/GPT-4
PDF Reference 1.7 中英版
unity源码,大富豪源码(完整棋牌服务端(c++)+客户端(unity)+各种编译)
H264测试文件下载 1080P(2分30秒)和720P(1分45秒)
软件测试课程设计报告
小波变换分解C++源码
斩控式单相交流调压电路的设计与仿真.doc