Name | Theoretische Informatik II | |||||||||||||||||||||||||
Verantwortlich | Prof. Dr. Matthias Güdemann | |||||||||||||||||||||||||
SWS | 4 | |||||||||||||||||||||||||
ECTS | 5 | |||||||||||||||||||||||||
Sprache(n) | Deutsch (Standard) Englisch |
|||||||||||||||||||||||||
Lehrform | SU mit Übung | |||||||||||||||||||||||||
Angebot | nach Ankündigung | |||||||||||||||||||||||||
Aufwand | 28 Präsenzstunden Vorlesung, 28 Präsenzstunden Übung, 28 Stunden Vor-/Nachbereitung der Übungen, 66 Stunden Nachbereitung der Vorlesung und Prüfungsvorbereitung |
|||||||||||||||||||||||||
Voraussetzungen | Theoretische Informatik I (IF-I-B-205) |
|||||||||||||||||||||||||
Ziele | Die Studierenden sind in der Lage in ausgewählter Themen der Informatik
|
|||||||||||||||||||||||||
Inhalt | Es werden ausgewählte Themen der theoretischen Informatik vertieft behandelt. Beispiele sind
|
|||||||||||||||||||||||||
Medien und Methoden | Tafel, Folien oder Beamer |
|||||||||||||||||||||||||
Literatur | Reisig: Petri Nets - An Introduction. Springer. Bose: An Introduction to Queueing Systems. Kluwer Academic Publishers. Schöning: Perlen der theoretischen Informatik. Spektrum Akademischer Verlag. Henk Barendregt: The Lambda Calculus. Its Syntax and Semantics. College Publications. |
|||||||||||||||||||||||||
Zuordnungen Curricula |
|