Grundlagen der Theoretischen Informatik: Einführung in die Semantik von Programmiersprachen (Hoaresches Kalkül), Berechenbarkeit (Modelle der Programmierung, algorithmische Unlösbarkeit, Reduzierbarkeit) und Theorie und Anwendungen formaler Sprachen.
Leistungsnachweis
bzw. Kreditpunkte nach erfolgreicher Teilnahme an Übungen,
Aufsichtsarbeit und Abschlussklausur.
Pflichtveranstaltung im
Grundstudium "Informatik", "Angewandte Informatik" und "WIWI-Inf.".
Literatur:
Brookshear, J. Glenn , Theory of Computation: Formal
Languages, Automata, and Complexity, Benjamin/Cummings,
1989. Signatur: INF 330/069.
Dijkstra, Edsger W., A discipline of programming,
Englewood Cliffs, NJ : Prentice-Hall, 1976. - XVII, 217 S.; (engl.)
(Prentice-Hall series in automatic computation), 1976, Signatur: INF
410/100, L inf 312 (für Kapitel 'Programmverifikation')
Ebbinghaus, Heinz-Dieter; Flum, Jörg ; Thomas, Wolfgang,
Einführung in die mathematische Logik, Spektrum
Akademischer Verlag, 1996. Signatur: MAT Ebb., (für Kapitel 'Logik')
Enderton, Herbert B. , A mathematical introduction to
logic 10. print.. - Boston : Acad. Pr., 1991. - XIII, 295 S.,
Signatur: INF 220/039 (für Kapitel 'Logik')
Hopcroft, John E. , Einführung in die Automatentheorie,
formale Sprachen und Komplexitätstheorie / John E. Hopcroft ;
Jeffrey D. Ullman. - 2. Aufl.. - Bonn : Addison-Wesley, 1990.,
Signatur INF 330/018 (für Kapitel 'Chomsky-Hierarchie, Formale
Sprachen')
Loeckx, Jacques; Sieber, Kurt; The foundations of program
verification, Stuttgart : Teubner, 1984. - IX, 230 S.
(Wiley-Teubner series in computer science), 1984, Signatur: INF
425/065, L inf 270 (für Kapitel 'Programmverifikation')
