|
题名:
|
范畴论方法在计算机科学中的应用 fan chou lun fang fa zai ji suan ji ke xue zhong de ying yong / 苗德成，王朝阳，刘新盛编著 , |
|
ISBN:
|
978-7-306-07019-7 价格： CNY68.00 |
|
语种:
|
chi |
|
载体形态:
|
160页 24cm |
|
出版发行:
|
出版地： 广州 出版社： 中山大学出版社 出版日期： 2020 |
|
内容提要:
|
本书作为一种高度抽象的数学理论，范畴论方法在计算机科学中的应用前景广阔。本书作者从事范畴论方法在计算机科学中应用领域的研究工作十余年，书中大部分内容是其近期研究成果：第1章从范畴论方法在计算机科学中应用角度介绍基本定义及其相关运算，第2章讨论范畴论方法在形式语言中的应用，第3章讨论范畴论方法在数据类型中的应用，第4章讨论范畴论方法在数据库系统中的应用，第5章讨论范畴论方法在共享系统数据模型中的应用。 |
|
主题词:
|
范畴论 应用 |
|
中图分类法:
|
TP3 版次： 5 |
|
主要责任者:
|
苗德成 miao de cheng 编著 |
|
主要责任者:
|
王朝阳 wang chao yang 编著 |
|
主要责任者:
|
刘新盛 liu xin sheng 编著 |
|
索书号:
|
1 |