只为小站
首页
域名查询
文件下载
登录
计算机科学中的范畴论
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
2019-12-21 21:08:10
8.96MB
.mobio文件
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
IBM CPLEX 12.10 学术版 mac操作系统安装包
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
BP神经网络+PID控制simulink仿真
BP_PID控制仿真.rar
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
opcua服务器模拟器+opcua客户端工具.rar
2021华为芯片研发岗位笔试题
python大作业--爬虫(完美应付大作业).zip
航迹融合算法MATLAB仿真程序
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
画程(版本6.0.0.127)setup个人版
RNN-LSTM卷积神经网络Matlab实现
华为OD机试真题.pdf
故障诊断数据集及实现代码
最新下载
音乐播放器;使用PWM控制蜂鸣器播放音乐
Network Manager (NM)-开源
MAX32555资料及开发工具
平板上超声速流动的数值解:求解层流状态下的 Navier-Stokes 方程以模拟平板上的超声速流动。-matlab开发
计算流体力学作业-平板上的超声速流动的数值求解
ABB机器人控制柜电路图 .zip
程序员面试手册:概念、编程问题及面试题 卡鲁曼希 著,爱飞翔译 华章 IT 最高清 最完整
解决 RPC服务 属性按钮全部都是灰色
NiuTrans中英平行语料库10万句
vs_prerequisites_x64_lp_chs.msi
其他资源
全国31个主要城市POI数据
Steam完整包(解压即可用)
移动医疗APP源码 android (安卓版)妙手医生源码
ARCmap教程(初学者学习)
AS3编写的加载/卸载外部SWF文件
基于车牌识别的课程设计(全)
gis地图HTML界面
ANSYS+Workbench+15.0从入门到精通
空调控制参考程序
画散点图轮廓图雷达图调和曲线图等
语义网基础教程(中文版)
A Course In Number Theory And Cryptography
华南理工大学《概率论与数理统计》4套期末考试试卷(部分卷含答案).pdf
Lab view_TCPIP实列DEMO.rar
Cisco常用单词词典.7z
DistributedDemo.zip
matlab+xplane通信接口程序
Scrum敏捷项目管理
.net经典ERP管理系统完整源码(多层架构) c#(0520_).rar
easyui 各种导出
水杉导出pmx插件 ExportPMX
B/S结构调用客户端默认打印机直接打印
JAVA mysql制作简易通信录