Theoretische Informatik —— Grundlagen mit Übungsaufgaben und Lösungen

----- 理论计算机科学：基础与练习和解决方案

ISBN: 9783486258080 出版年：2009 页码：240 Winter, Renate Oldenbourg Wissenschaftsverlag

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.