Theoretische Informatik II

28 Präsenzstunden Vorlesung, 28 Präsenzstunden Übung, 28 Stunden Vor-/Nachbereitung der Übungen, 66 Stunden Nachbereitung der Vorlesung und Prüfungsvorbereitung

Theoretische Informatik I (IF-I-B-205)

Die Studierenden sind in der Lage in ausgewählter Themen der Informatik

• die theoretischen Grundlagen zu formulieren.
• den Zusammenhang zwischen Praxis und Theorie vertieft zu reflektieren.
• die Konsequenzen der Theorie für die Praxis einzuschätzen.
• Methoden und Ergebnisse der Theoretischen Informatik anzuwenden.

Es werden ausgewählte Themen der theoretischen Informatik vertieft behandelt. Beispiele sind

• Warteschlangentheorie
• Petri-Netze
• Berechenbarkeits- und Komplexitätstheorie
• Lambda-Kalkül

Tafel, Folien oder Beamer

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.