Renate Winter Theoretische Informatik

Annotation

Das Lehrbuch enthlt die wesentlichen Grundzge der Theoretischen Informatik. Es gibt eine verstndliche Einfhrung in die Gebiete Berechenbarkeits-, Automatentheorie, Formale Sprachen und Komplexittstheorie. Alle Zusammenhnge sind verstndlich bewiesen und durch Beispiele untermauert. Von praktischer Bedeutung sind Untersuchungen zur Existenz von nicht entscheidbaren und nicht effizient lsbaren Problemen. Es erfolgt eine Einfhrung in die Theorie der NP-Vollstndigkeit mit Beispielen. Eine Vielzahl von bungsaufgaben, smtlich mit ausfhrlichen Lsungen, die zum Selbsttest wie auch zur Vorbereitung auf den studentischen bungsbetrieb geeignet sind.