| Fagligt indhold: | Category theory, a branch of abstract algebra, has found many applications in mathematics, logic, and computer science, where it for example has been used to describe and analyse models of both sequential and parallel
programming languages.
Like such fields as elementary logic and set theory, category theory provides a basic conceptual apparatus and a collection of formal methods useful for addressing certain kinds of commonly occurring formal and informal problems, particularly those involving structural and functional considerations. This course is intended to acquaint students with these methods, and also to encourage them to reflect on the
interrelations between category theory and the other basic formal disciplines.
A number of applications of category theory to computer
science will also be covered, including some recent developments.
|
| Eksamensform og -beskrivelse: | X. experimental examination form (7-scale; external exam), 13-skala, Intern censur 1. 8 ud af 11 opgaver skal være afleveret for at kunne gå til eksamen
2. Karakteren for kurset er "bestået" / "ikke-bestået"
3. Karakteren gives alene på baggrund af eksamen
4. Eksamen er en "take-home-exam" -- de studerende får 24 timer til at løse opgavesættet i.
Den estimerede tid til at løse opgavesættet er seks timer.
|
Kursusoversigt