Abstract
Category theory, with its increasing role in computer science, has proved useful in the investigation of programming languages and other theoretical aspects of software engineering. As a bridge-building exercise, we introduce the category theory course into the computer science curriculum, the purpose of which includes building a unified framework to generalize the discrete structures of mathematical courses and providing an environment for formulating concepts of other software engineering courses. We develop a teaching schema, summarize our experiences, and give some suggestions for pedagogical techniques for the course. © Springer-Verlag Berlin Heidelberg 2007.
Cite
CITATION STYLE
Zheng, Y., Shi, H., & Xue, J. (2007). From mathematics to software engineering: Introducing category theory into the computer science curriculum. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4489 LNCS, pp. 469–476). Springer Verlag. https://doi.org/10.1007/978-3-540-72588-6_78
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
