Theoretische Informatik

Das Lehrbuch enthält die wesentlichen Grundzüge der Theoretischen Informatik. Es gibt eine verständliche Einführung in die Gebiete Berechenbarkeits-, Automatentheorie, Formale Sprachen und Komplexitätstheorie. Alle Zusammenhänge sind verständlich bewiesen und durch Beispiele untermauert. Von praktischer Bedeutung sind Untersuchungen zur Existenz von nicht entscheidbaren und nicht effizient lösbaren Problemen. Es erfolgt eine Einführung in die Theorie der NP-Vollständigkeit mit Beispielen. Eine Vielzahl von Übungsaufgaben, sämtlich mit ausführlichen Lösungen, die zum Selbsttest wie auch zur Vorbereitung auf den studentischen Übungsbetrieb geeignet sind.

Renate Winter, geboren 1955, erwarb 1978 ihr Mathematik-Diplom an der Friedrich-Schiller-Universität, Jena. 1982 folgte die Promotion (Dr. rer. nat.) an der TH Merseburg, wo sie von 1978 bis 1993 wissenschaftliche Mitarbeiterin war. Heute ist sie Lehrbeauftragte am Institut für Informatik der Universität Halle.