Lehrbeauftragter/Instructor: |
Prof. Dr. Till Mossakowski |

Sprache/Language: |
English |

Wochenstunden / Weekly: |
2h Vorlesung/Lectures |

Stundenplan / Schedule: |
Dienstag/Tuesday, 13:15–14:45 Uhr, G29-036 |

Credit Points: |
3 |

Zuhörerkreis / Intended Audience: |
Master CV, DKE, INF |

Voraussetzungen/Prerequisites: |
Gute mathematische Kenntnisse / Good mathematical skills |

Prüfung bzw. Scheinerwerb / Exams: |
mündlich/oral, 20–30 min |

The course will introduce into the basic concepts of category theory and illustrate these with examples from theoretical computer science (such as finite automata, logical theories, relational structures, Prolog) as well as from mathematics (groups, vector spaces, metric spaces).

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster