Theoretische Informatik : : Grundlagen mit Übungsaufgaben und Lösungen / / Renate Winter.

• Superior document: Title is part of eBook package: De Gruyter DGBA Physical Sciences 2000 - 2014
• VerfasserIn: Winter, Renate,
• Place / Publishing House: Berlin ;, Boston : : Oldenbourg Wissenschaftsverlag, , [2009]; ©2001
• Year of Publication: 2009
• Edition: Reprint 2015
• Language: German
• Physical Description: 1 online resource (231 p.) :; Zahlr. Abb.
• Other title: Frontmatter --; Vorwort --; Inhaltsverzeichnis --; 1. Einleitung - Wesen der Theoretischen Informatik --; 2. Berechenbarkeitstheorie --; 3. Abstrakte Automaten --; 4. Formale Sprachen --; 5. Komplexitätstheorie --; 6. Zusammenfassung und Schlussfolgerungen --; 7. Lösungsvorschläge --; Literaturverzeichnis --; Index
• Format: Mode of access: Internet via World Wide Web.
• ISBN: 9783486593884; 9783110637212
• DOI: 10.1524/9783486593884
• Access: restricted access
• Hierarchical level: Monograph
• Statement of Responsibility: Renate Winter.

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.