Literatur

Grundlagen der Theoretischen Informatik

- Literatur -

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