Sprechstunden:
- Prof. Dr. Chr. Kreitz (Raum 1.18): Mittwochs 9:30-10:30 (und immer, wenn die Türe offen steht)
- Dr. E. Richter (Raum 1.24): nach Vereinbarung
Aktuelles:
Veranstalter:
Prof. Dr. Christoph Kreitz, Dr. Eva RichterZielgruppe:
ab 5. SemesterUmfang:
2 SWSInformatikfachzuordnung:
Theoretische InformatikLeistungspunkte:
3 benotete PunkteZeit:
Mittwochs 11:00-12:30 UhrOrt:
03.04.1.02Beginn:
22.10.2008Voraussetzungen:
Grundkenntnisse der Informatik aus den ersten 4 Semestern, vor allem aus den Bereichen Theoretische Informatik und Logik.Belegung:
Die Belegung erfolgt elektronisch
entsprechend den Bestimmungen des
Instituts für Informatik.
Zielstellung
In diesem Seminar werden vertiefende Themen der theoretischen Informatik und angrenzender Bereiche der Mathematik anhand von ausgewählter Literatur besprochen. Das Thema im WS 2008/09 ist "Kategorientheorie und Logik"
