成功加入购物车
王兵山 、 毛晓光 、 刘万伟 著 / 清华大学出版社 / 2012-12 / 平装
售价 ¥ 65.00
品相 八五品
优惠 满包邮
延迟发货说明
上书时间2024-04-14
卖家超过10天未登录
计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)
范畴论是一种高度抽象的数学理论,《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》着重介绍范畴论的基础概念和基本性质。主要内容包括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带类型λ-演算构成的范畴参考文献
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30