中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

范畴论方法在计算机科学中的应用/苗德成, 王朝阳, 刘新盛编著

出版发行项:

广州:中山大学出版社,2020

ISBN及定价:

978-7-306-07019-7 精装/CNY68.00

载体形态项:

160页:图;24cm

个人责任者:

苗德成, 1979- 编著

个人责任者:

王朝阳 编著

个人责任者:

刘新盛 编著

学科主题:

范畴论-应用-计算机科学

中图法分类号:

TP3

中图法分类号:

O154.1

书目附注:

有书目 (第146-156页) 和索引

提要文摘附注:

本书内容包括5章: 第1章从范畴论方法在计算机科学中应用角度介绍了本书研究所需的基本定义及其相关运算, 第2章讨论了范畴论方法在形式语言中的应用, 第3章讨论了范畴论方法在数据类型中的应用, 第4章讨论了范畴论方法在数据库系统中的应用, 第5章讨论了范畴论方法在共享系统数据模型中的应用。

豆瓣简介：