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.