Informatik IV: Theoretische Informatik I
SS 2004 |
Vorlesungsinhalt:Übersicht |
| wird laufend ergänzt |
| Endliche Automaten |
|
|
| |
|
Literatur zu Endlichen Automaten:
- J.E. Hopcroft, J.D. Ullman:
Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley 1993 (auch in Englisch)
- I. Wegener:
Theoretische Informatik. B.G. Teubner Stuttgart, 1993
- K.W. Wagner:
Lehrbuch der Theoretischen Informatik. Springer-Verlag Berlin, 1994
- U. Schöning:
Theoretische Informatik - kurzgefa�. Spektrum Akademischer Verlag Heidelberg Berlin, 1995
|
| Formale Sprachen |
|
|
| |
|
Literatur zu Formalen Sprachen:
- J.E. Hopcroft, J.D. Ullman:
Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley 1993 (auch in Englisch)
- I. Wegener:
Theoretische Informatik. B.G. Teubner Stuttgart, 1993
- K.W. Wagner:
Lehrbuch der Theoretischen Informatik. Springer-Verlag Berlin, 1994
- U. Schöning:
Theoretische Informatik - kurzgefa�. Spektrum Akademischer Verlag Heidelberg Berlin, 1995
|
| Berechenbarkeitstheorie |
|
|
| |
|
Literatur zur Berechenbarkeitstheorie:
- J.E. Hopcroft, J.D. Ullman:
Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley 1993 (auch in Englisch)
- I. Wegener:
Theoretische Informatik. B.G. Teubner Stuttgart, 1993
- K.W. Wagner:
Lehrbuch der Theoretischen Informatik. Springer-Verlag Berlin, 1994
- U. Schöning:
Theoretische Informatik - kurzgefa�. Spektrum Akademischer Verlag Heidelberg Berlin, 1995
|
| Komplexitätstheorie |
|
|
| |
|
Literatur zur Komplexitätstheorie:
- J.E. Hopcroft, J.D. Ullman:
Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley 1993 (auch in Englisch)
- I. Wegener:
Theoretische Informatik. B.G. Teubner Stuttgart, 1993
- K.W. Wagner:
Lehrbuch der Theoretischen Informatik. Springer-Verlag Berlin, 1994
- U. Schöning:
Theoretische Informatik - kurzgefa�. Spektrum Akademischer Verlag Heidelberg Berlin, 1995
|
| Zusammenfassung |
|
|