扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
范畴论方法在计算机科学中的应用 版权信息
- ISBN：9787306070197
- 条形码：9787306070197 ; 978-7-306-07019-7
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>
范畴论方法在计算机科学中的应用 内容简介
作为一种高度抽象的数学理论，范畴论方法在计算机科学中的应用前景广阔。本书作者从事范畴论方法在计算机科学中应用领域的研究工作十余年，书中大部分内容是其近期研究成果：章从范畴论方法在计算机科学中应用角度介绍基本定义及其相关运算，第2章讨论范畴论方法在形式语言中的应用，第3章讨论范畴论方法在数据类型中的应用，第4章讨论范畴论方法在数据库系统中的应用，第5章讨论范畴论方法在共享系统数据模型中的应用。
范畴论方法在计算机科学中的应用 目录
第1章 范畴论基础
1.1 范畴与对偶原理
1.2 函子与自然变换复合定理
1.3 极限
1.3.1 锥与共锥
1.3.2 等值子与共等值子
1.3.3 拉回与推出
1.4 伴随
1.4.1 伴随函子
1.4.2 模
1.4.3 Eilenberg-Moore范畴
1.4.4 Kleisli范畴
1.5 Fibrations方法
1.6 有限离散素描
第2章 在形式语言中的应用
2.1 形式语言代数模型
2.1.1 形式语言代数模型
2.1.2 内核小语言KSL
2.1.3 语言重用
2.1.4 可重用的语言族模型
2.2 基于模的语义计算模型
2.2.1 范畴语义计算模型研究现状
2.2.2 一种基于模的范畴语义计算模型
2.2.3 KSL的语义解释
2.2.4 KSL的语义规则
2.2.5 相关工作比较
2.3 形式语言模型转换
2.3.1 形式语言模型研究现状
2.3.2 形式文法模型与形式语言模型
2.3.3 形式文法模型范畴与形式语言模型范畴
2.3.4 形式语言模型转换的语义一致性
2.3.5 完备性分析
2.3.6 相关工作比较
第3章 在数据类型中的应用
3.1 简单归纳数据类型
3.1.1 谓词fibration
3.1.2 谓词fibration的语义模型
3.1.3 简单归纳数据类型的语义性质
3.1.4 简单归纳数据类型的归纳规则
3.2 纤维化归纳数据类型
3.2.1 重索引函子与对偶重索引函子
3.2.2 非索引fibration的语义模型
3.2.3 纤维化归纳数据类型的语义性质
3.2.4 纤维化归纳数据类型的归纳规则
3.3 索引归纳数据类型
3.3.1 纤维化索引归纳数据类型
3.3.1.1 纤维化索引fibration的语义模型
3.3.1.2 纤维化索引归纳数据类型的语义性质与归纳规则
3.3.1.3 Beck-Chevalley条件与代数fibration
3.3.1.4 纤维化索引归纳数据类型的语法构造
3.3.1.5 纤维化索引归纳数据类型的不确定语义计算
3.3.2 单类索引归纳数据类型
3.3.2.1 单类索引fibration的语义模型
3.3.2.2 单类索引归纳数据类型的语义性质
3.3.2.3 单类索引归纳数据类型的归纳规则
3.3.3 多类索引归纳数据类型
3.3.3.1 多类索引fibration的语义模型
3.3.3.2 多类索引归纳数据类型的语义性质
3.3.3.3 多类索引归纳数据类型的归纳规则
3.4 小结
3.5 简单共归纳数据类型
3.5.1 关系fibration与等式函子
3.5.2 简单共归纳数据类型的语义行为
3.5.3 简单共归纳数据类型的共归纳规则
3.5.4 相关研究
3.6 索引共归纳数据类型
3.6.1 单类索引fibration与其等式函子
3.6.2 商函子与保持等式的提升
3.6.3 索引共归纳数据类型的语义行为
3.6.4 索引共归纳数据类型的共归纳规则
第4章 在数据库系统中的应用
4.1 时态数据模型
4.1.1 时态数据模型研究现状
4.1.2 时间模型
4.1.3 形式化时态数据模型
4.1.4 时态形式语言模型
4.1.5 时态形式语言模型族
4.2 范畴数据模型
4.2.1 范畴数据模型相关研究工作
4.2.2 词范畴与扩张函子
4.2.3 范畴数据模型.SDM
4.2.4 ER模型向SDM转换的算法
4.2.5 相关工作比较
4.2.6 范畴数据模型的总结与展望
4.3 视图更新
4.3.1 视图定义映射的提升
4.3.2 视图更新函子的分裂性
4.3.3 视图更新函子的Grothendieck构造
第5章 在共享系统数据模型中的应用
5.1 范畴共享系统数据模型的研究现状
5.2 范畴共享系统数据模型的建立
5.3 语义性质分析
5.4 语义行为描述
5.5 主要工作与贡献
5.6 范畴共享系统数据模型研究当前面临的主要问题
参考文献
索引
1.1 范畴与对偶原理
1.2 函子与自然变换复合定理
1.3 极限
1.3.1 锥与共锥
1.3.2 等值子与共等值子
1.3.3 拉回与推出
1.4 伴随
1.4.1 伴随函子
1.4.2 模
1.4.3 Eilenberg-Moore范畴
1.4.4 Kleisli范畴
1.5 Fibrations方法
1.6 有限离散素描
第2章 在形式语言中的应用
2.1 形式语言代数模型
2.1.1 形式语言代数模型
2.1.2 内核小语言KSL
2.1.3 语言重用
2.1.4 可重用的语言族模型
2.2 基于模的语义计算模型
2.2.1 范畴语义计算模型研究现状
2.2.2 一种基于模的范畴语义计算模型
2.2.3 KSL的语义解释
2.2.4 KSL的语义规则
2.2.5 相关工作比较
2.3 形式语言模型转换
2.3.1 形式语言模型研究现状
2.3.2 形式文法模型与形式语言模型
2.3.3 形式文法模型范畴与形式语言模型范畴
2.3.4 形式语言模型转换的语义一致性
2.3.5 完备性分析
2.3.6 相关工作比较
第3章 在数据类型中的应用
3.1 简单归纳数据类型
3.1.1 谓词fibration
3.1.2 谓词fibration的语义模型
3.1.3 简单归纳数据类型的语义性质
3.1.4 简单归纳数据类型的归纳规则
3.2 纤维化归纳数据类型
3.2.1 重索引函子与对偶重索引函子
3.2.2 非索引fibration的语义模型
3.2.3 纤维化归纳数据类型的语义性质
3.2.4 纤维化归纳数据类型的归纳规则
3.3 索引归纳数据类型
3.3.1 纤维化索引归纳数据类型
3.3.1.1 纤维化索引fibration的语义模型
3.3.1.2 纤维化索引归纳数据类型的语义性质与归纳规则
3.3.1.3 Beck-Chevalley条件与代数fibration
3.3.1.4 纤维化索引归纳数据类型的语法构造
3.3.1.5 纤维化索引归纳数据类型的不确定语义计算
3.3.2 单类索引归纳数据类型
3.3.2.1 单类索引fibration的语义模型
3.3.2.2 单类索引归纳数据类型的语义性质
3.3.2.3 单类索引归纳数据类型的归纳规则
3.3.3 多类索引归纳数据类型
3.3.3.1 多类索引fibration的语义模型
3.3.3.2 多类索引归纳数据类型的语义性质
3.3.3.3 多类索引归纳数据类型的归纳规则
3.4 小结
3.5 简单共归纳数据类型
3.5.1 关系fibration与等式函子
3.5.2 简单共归纳数据类型的语义行为
3.5.3 简单共归纳数据类型的共归纳规则
3.5.4 相关研究
3.6 索引共归纳数据类型
3.6.1 单类索引fibration与其等式函子
3.6.2 商函子与保持等式的提升
3.6.3 索引共归纳数据类型的语义行为
3.6.4 索引共归纳数据类型的共归纳规则
第4章 在数据库系统中的应用
4.1 时态数据模型
4.1.1 时态数据模型研究现状
4.1.2 时间模型
4.1.3 形式化时态数据模型
4.1.4 时态形式语言模型
4.1.5 时态形式语言模型族
4.2 范畴数据模型
4.2.1 范畴数据模型相关研究工作
4.2.2 词范畴与扩张函子
4.2.3 范畴数据模型.SDM
4.2.4 ER模型向SDM转换的算法
4.2.5 相关工作比较
4.2.6 范畴数据模型的总结与展望
4.3 视图更新
4.3.1 视图定义映射的提升
4.3.2 视图更新函子的分裂性
4.3.3 视图更新函子的Grothendieck构造
第5章 在共享系统数据模型中的应用
5.1 范畴共享系统数据模型的研究现状
5.2 范畴共享系统数据模型的建立
5.3 语义性质分析
5.4 语义行为描述
5.5 主要工作与贡献
5.6 范畴共享系统数据模型研究当前面临的主要问题
参考文献
索引
展开全部
范畴论方法在计算机科学中的应用 作者简介
苗德成，韶关学院教授，2012年毕业于华南理工大学计算机科学与工程学院，获计算机应用技术专业工学博士学位。主要从事形式化方法、数据库与网络计算、软件工程等专业领域的科学研究与教学。
书友推荐
- >
回忆爱玛侬
回忆爱玛侬
¥23.0¥32.8 - >
月亮虎
月亮虎
¥14.4¥48.0 - >
随园食单
随园食单
¥15.4¥48.0 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥20.3¥58.0 - >
莉莉和章鱼
莉莉和章鱼
¥13.4¥42.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥14.7¥45.8 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0
本类畅销
-
”互联网+“时代计算机算法的应用及其实践研究
¥19.9¥59 -
微服务设计
¥52.8¥69 -
图说深度学习:用可视化方法理解复杂概念
¥109¥188 -
计算机基础
¥17.2¥31 -
改变未来的九大算法
¥50¥68 -
生成式AI入门与AWS实战
¥77.8¥99.8
