Theoretische Informatik: Grundlagen Mit UEbungsaufgaben Und Loesungen

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. Renate Winter, geboren 1955, erwarb 1978 ihr Mathematik-Diplom an der Friedrich-Schiller-Universitt, 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 fr Informatik der Universitt Halle.