计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)
¥
59
九品
库存2件
作者王兵山、毛晓光、刘万伟 著
出版社清华大学出版社
出版时间2012-12
版次1
装帧平装
上书时间2024-06-17
商品详情
- 品相描述:九品
-
品相良好,内页干净工整无写划……
图书标准信息
-
作者
王兵山、毛晓光、刘万伟 著
-
出版社
清华大学出版社
-
出版时间
2012-12
-
版次
1
-
ISBN
9787302303428
-
定价
23.00元
-
装帧
平装
-
开本
16开
-
纸张
胶版纸
-
页数
153页
-
字数
250千字
-
正文语种
简体中文
-
丛书
计算机科学与技术学科前沿丛书
- 【内容简介】
-
范畴论是一种高度抽象的数学理论,《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》着重介绍范畴论的基础概念和基本性质。主要内容包括6章:第1章着重介绍范畴的基本定义及其运算,第2章讨论范畴中的特殊态射与特殊对象,第3章讨论范畴中的各类极限,第4章讨论函子与自然变换,第5章讨论范畴中的“伴随”现象,第6章讨论计算机科学中的范畴。建议在阅读《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》内容时,将第3~5章作为重点进行学习;同时,建议将第5章的内容作为难点进行学习。
《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》适合作为高等学校计算机科学或软件理论领域研究生的教材,也适合相关领域的广大科研人员参考。
- 【作者简介】
-
王兵山,国防科技大学教授,1964年毕业于复旦大学数学系,获学士学位。主要从事计算机科学理论领域的教学与研究工作。获“全国优秀教师”、“国家有突出贡献的中青年专家”等荣誉称号,享受政府特殊津贴。出版《离散数学》、《形式语言》、《数理逻辑》等学术著作。
毛晓光,国防科技大学教授,1997年于国防科技大学获博士学位。主要从事形式化方法、软件工程等专业领域的科学研究与教学。获军队育才银奖,出版《离散数学》等教材。
刘万伟,国防科技大学教师,2009年毕业于国防科技大学计算机学院,获博士学位。主要从事时序逻辑、模型检验与自动机理论等专业领域的科学研究与教学工作。
- 【目录】
-
第1章范畴及其运算
1.1集合、类与函数
1.2图、图同态与图自然变换
1.3范畴的定义
1.4范畴的例子
1.5范畴的运算
第2章特殊态射与特殊对象
2.1section、retraction与同构态射
2.2单态射、外态射与双态射
2.3初始对象、终止对象与零对象
2.4常态射、余常态射与零态射
第3章范畴中的极限
3.1等子和余等子
3.2积和余积
3.3回拉和外推
3.4核和余核
3.5极限和余极限
第4章函子与自然变换
4.1函子
4.2多元函子
4.3hom-函子
4.4函子的性质
4.5自然变换
4.6自然变换的*-积
4.7范畴的同构与等价
第5章伴随
5.1Galois对应
5.2泛映射
5.3余泛映射
5.4伴随与伴随函子
5.5伴随的存在性
5.6伴随与极限
第6章计算机科学中的范畴
6.1函数式程序设计语言构成的范畴
6.2演绎系统构成的范畴
6.3带类型λ-演算构成的范畴
参考文献
点击展开
点击收起
— 没有更多了 —
以下为对购买帮助不大的评价