只为小站
首页
域名查询
文件下载
登录
首页
课程资源
软件测试
计算机科学中的范畴论
计算机科学中的范畴论
上传者:
sl130com
|
上传时间: 2019-12-21 21:08:10
|
文件大小: 8.96MB
|
文件类型: zip
.mobio文件
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
文件下载
立即下载
评论信息
qq_35186562 :
好书,对计算机理论研究有帮助。
2019-05-21
bb6bb6bb6 :
好书,范畴论相关内容的书不好找
2017-01-24
其他资源
802.3标准合集
长方体重力异常正演模拟
最大效用频谱分配算法
matlab卫星导航轨道动力学模型
解析IP数据包(网路协议分析课程设计)
坐标转换/坐标标定(matlab优化方法实现)
工业互联网资料集106篇
DAC芯片选型(接口,精度,电源,类型,封装等)全
c# tabControl 隐藏 显示 (添加 删除) 其中的页
数据库技术回顾和展望——数据库课程论文
微信支付(预订单、查询、退款等接口demo)完整版
livetvayush.github.io-源码
机械手课程设计
SPMVP: Spatial Patch Match Stereo with Virtual Pixel Aggregation
Navicat 12 for MySQL.tar
HDTune硬盘检测工具绿色实用版
重要概念整理.pdf
CPU_TXT85.rar
Vxworks参考
LabviewPID工具包
基于javavweb平台电商服务平台系统开发
Crystal Oscillator Circuit Design
ADS2009射频电路设计与仿真
中科院天线理论与技术(一)董积平主讲 共22讲 视频.txt
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
DS证据理论的MATLAB案例程序源代码
全国河流水文站坐标.xls
BP神经网络+PID控制simulink仿真
数字图像处理[冈萨雷斯]
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
CNN卷积神经网络Matlab实现
基于Matlab的IEEE14节点潮流计算.zip
C4.5决策树算法的Python代码和数据样本
机械臂避障路径规划仿真 蚁群算法 三维路径规划
PLECS中文手册.pdf
中国地面气候资料日值数据集(V3.0)2010-2019.rar
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
大学生网页设计大作业-5个网页设计制作作品自己任选
最新下载
图像预处理程序
C Source Flowchart,自动生成C程序流程图,永久免费,支持windows、linux 和 macOS系统
数字图像处理课程设计.doc
山东大学软件学院-21级计算机图形学资料
EfficientNet 预训练文件
vpro图像拼接资料超详细.zip
微信小程序cookie维护插件 实现自动设置获取cookie功能
stm32f103c8t6 MPU6050串口显示
极乐净土mmd动作数据.vmd
PMSM_dq_frmae_Doubleclosedloop.slx