内容主要来源于习题课和考研班的备课稿，而编排则围绕当时使用的油印本讲义。作为教材的讲义在这本辅导书出版以后又经过一年的教学反馈，才最后定稿。 非常经典的 好资料 最完整 最清晰
2021-12-21 00:16:30
6.23MB
1
自己编写的有关泛代数(universal algebra)及其应用的讲义，供从事计算机科学中的代数与共代数方法(coalgebraic methods)，以及形式化软件开发方法等方向的人员参考。
2021-06-08 09:04:20
2.12MB
1
自己编写的有关代数与共代数方法及应用的讲义，内容覆盖范畴理论(category theory)的基础知识，代数范畴与共代数范畴的基本性质与构造等内容，供从事有关计算机科学中的代数与共代数方法、程序设计语言的形式语义、形式化软件开发方法等方向的人员参考。
2021-06-08 09:04:20
3.64MB
1