扫一扫
关注中图网
官方微博
¥46.5(6.8折)?
预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格（不含优惠券部分），仅供参考，未必等同于实际到手价。
促销活动:
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
范畴论方法在计算机科学中的应用 版权信息
- 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年毕业于华南理工大学计算机科学与工程学院，获计算机应用技术专业工学博士学位。主要从事形式化方法、数据库与网络计算、软件工程等专业领域的科学研究与教学。
书友推荐
- >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0 - >
李白与唐代文化
李白与唐代文化
¥9.9¥29.8 - >
自卑与超越
自卑与超越
¥17.1¥39.8 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥12.3¥39.8 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
经典常谈
经典常谈
¥17.1¥39.8 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
中国历史的瞬间
中国历史的瞬间
¥12.5¥38.0
本类畅销
-
数学之美
¥48.3¥69 -
浪潮之巅-下册-第二版
¥22.1¥45 -
挑战程序设计竞赛(第2版)
¥55.3¥79 -
算法竞赛入门经典-(第2版)
¥34.9¥49.8 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158
