机读格式显示(MARC)

• 000 01225nam0 2200265 450

• 001 0000372370

• 005 20210621114700.0

• 010 __ |a 978-7-306-07019-7 |b 精装 |d CNY68.00

• 100 __ |a 20210106d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 440000

• 105 __ |a ak z 000yy

• 106 __ |a r

• 200 1_ |a 范畴论方法在计算机科学中的应用 |A fan chou lun fang fa zai ji suan ji ke xue zhong de ying yong |f 苗德成, 王朝阳, 刘新盛编著

• 210 __ |a 广州 |c 中山大学出版社 |d 2020

• 215 __ |a 160页 |c 图 |d 25cm

• 320 __ |a 有书目 (第146-156页) 和索引

• 330 __ |a 作为一种高度抽象的数学理论, 范畴论方法在计算机科学中的应用前景广阔。本书作者从事范畴论方法在计算机科学中应用领域的研究工作十余年, 书中大部分内容是其近期研究成果: 第1章从范畴论方法在计算机科学中应用角度介绍基本定义及其相关运算, 第2章讨论范畴论方法在形式语言中的应用, 第3章讨论范畴论方法在数据类型中的应用, 第4章讨论范畴论方法在数据库系统中的应用, 第5章讨论范畴论方法在共享系统数据模型中的应用。

• 606 0_ |a 范畴论 |A fan chou lun |x 应用 |x 计算机科学

• 690 __ |a TP3 |v 5

• 701 _0 |a 苗德成 |A miao de cheng |4 编著

• 701 _0 |a 王朝阳 |A wang chao yang |4 编著

• 701 _0 |a 刘新盛 |A liu xin sheng |4 编著

• 801 _0 |a CN |b 湖北三新 |c 20210106

• 905 __ |a AUSTL |d TP3/M244