|
|
 |
|
Ergänzung zur Einführung in die theoretischen Informatik
II
Inhalt
Vertiefung des Stoffs der Vorlesung "Einführung in die
theoretische
Informatik II" durch weitere Beispiele, ausführliche Beweise und
Gelegenheit
zur Diskussion von Begriffen und Problemen
Geeignet für Grundstudium ab 2. Semester
Voraussetzung: parallele oder frühere Teilnahme an
"Einführung in die theoretische
Informatik II"
Anrechenbare Stundenzahl: 0 für Theoretische Informatik
kein Scheinerwerb
Übungsbetrieb: Übung wird mit der Vorlesung vermischt
angeboten
Empfohlene Literatur:
- M.A. Arbib, A.J. Kfoury, R.N. Moll: A Basis for Theoretical
Computer Science
Springer 1981
Signatur : T 80 2 B 28, T00/mat 7.2 - 428
- N. Blum: Theoretische Informatik - eine anwendungsorientierte
Einführung
Oldenbourg 1998
- E. Engeler, P. Läuchli: Berechnungstheorie für
Informatiker
Teubner 1988
Signatur: 14GI/mat 12.2.2-1062
- K. Erk, L. Priese: Theoretische Informatik
1. Auflage 2000, ISBN 3-540-66192-1
- Hopcroft, John E.; Ullman, Jeffrey D. : Einführung in die
Automatentheorie, formale Sprachen und Komplexitätstheorie.
2. Aufl. Bonn u.a. Addison-Wesley 1989
Signatur : T80/2 B 36(2)
- Moll, Robert / Michael Arbib / A. J. Kfoury : An introduction to
formal language theory.
Springer 1988
Signatur: T 80 2 B 46, 14GI mat 7.1- 447,...
- Schöning, Uwe : Theoretische Informatik kurz gefaßt
Bibliographisches Institut Mannheim, 1992
Signatur : 14GI/mat 7.2 - 769, T20/mat 8.2 - 110
- F. Stetter: Grundbegriffe der theoretischen Informatik
Springer 1988
Signatur : T80 / 2 B 37, T20/mat 7.1 - 453
- W. Wechler: Universal Algebra for Computer Scientists.
EATCS-Mon. on Comp.Sci., Springer 1992
Signatur : 14GI mat 2.1.3 - 101
- Wagner, Klaus W. : Einführung in die Theoretische Informatik
Springer, 1994
Signatur : 14GI/mat 8-757, T00/mat 8-760
- Wegener, Ingo : Theoretische Informatik
Teubner, 1993
Signatur : T20/mat 8.7-195, T80/2 A 29 (10 Ex.), 14GI mat 7-77
|
|
|
|
