A) Grundlagen der Theoretischen Informatik: Eine Einführung
in die Logik, Berechenbarkeit und Theorie und Anwendung der formalen
Sprachen.
B) Sperschneider, Hammer: Theoretische Informatik. Eine
problemorientierte Einführung. Springer Verlag.
C)
D) Kreditpunkte nach erfolgreicher Teilnahme an Übungen und
Klausuren.
E) Pflichtlehrveranstaltung im Grundstudium "Angewandte
Informatik"
Buch zur Vorlesung: Die Vorlesung orientiert sich im
wesentlichen an dem Buch Sperschneider, Hammer: Theoretische
Informatik. Eine problemorientierte Einführung. In der
Lehrbuchsammlung der Zentralbibliothek finden sich unter der Signatur
L inf 31 mehrere Exemplare dieses Buchs. Desweiteren steht
ein Exemplar im Semesterapparat der Bereichsbibliothek
Informatik. Beachtet bitte die Errata
zu diesem Buch.
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 3: 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 3:
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 3: 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 6: 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 3: Programmverifikation)
