Literatur

Grundlagen der Theoretischen Informatik

- Literatur -

zu Abschnitten 1,2:
H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, Ph. Zeitz. Mathematisch-strukturelle Grundlagen der Informatik. Springer, 2. Auflage 2001.
zu Abschnitten 4,5:
V. Sperschneider, G. Antoniou. Logic - A Foundation for Computer Science. Addison-Wesley Publishing Company 1991.
J. Gallier. Logic for Computer Science.
zu Abschnitten 3,6,8 (auch teilweise 7,9):
U. Schöning. Theoretische Informatik - kurzgefaßt. Spektrum Akademischer Verlag, 3. Auflage 1997.
zu Abschnitten 7,9:
W. Pohlers. Mathematische Grundlagen der Informatik. Handbuch der Informatik Band 1.5. Oldenbourg Verlag 1993.