陈意云写的，书中首先介绍了代数规范的基本知识和一此泛代数的知识，然后系统地介绍了范畴论的主要内容，范畴，函子，自然变换，积与和，极限和余极限，伴随，笛卡尔封闭的范畴和素描等，并通过很多例子，介绍了范畴论在程序设计语言的语义，论域理论，演绎系统和形式规范等方面的应用
2019-12-21 21:08:10
8.96MB
1
本书是面向计算机科学的数理逻辑即系统与建模(中文版-第二版)，是关于离散数学，数理逻辑方面很有用的参考书。
2019-12-21 20:54:24
11.76MB
1
本书涵盖了经典的“离散结构”或“离散数学”课程的主要内容,包括集合论基础、逻辑代数、形式系统与形式推理、组合论基础、图论基础、关系与函数、计算理论基础和抽象代数学基础。具有内容系统全面、阐述浅显易懂、编排合理新颖、使用灵活方便的特点。
2019-12-21 20:50:30
12.75MB
1