Zweigstelle	Standorte	Status	Vorbestellungen	Frist
Zweigstelle: Hauptstelle	Standorte:	Status: Verfügbar	Vorbestellungen: 0	Frist:

Theoretische Informatik - der Vorlesungsbegleiter. Berechenbarkeit, formale Sprachen, Algorithmik und Komplexit„tstheorie sind theoretische Themen mit praktischer Relevanz, zu denen es ebenso praktische Zug„nge gibt. Freuen Sie sich auf eine moderene Didaktik, die streng Formales mit Ihrer Intuition verknpft, lernfreundlich ausarbeitet und schlieálich zu jedem Thema Anwendungsfelder der Informatik vorstellt. Stefan Neubert hat nicht nur selbst Freude an der theoretischen Informatik, sondern widmet sich auch mit Leidenschaft ihrer Vermittlung zu Beginn und im Laufe des Bachelorstudiums. Eine Einfhrung mit vielen Aufgaben und Beispielen, auch zum Selbststudium geeignet. Aus dem Inhalt: Grundlegende mathematische Notation Modelle und Grenzen der Berechenbarkeit Formale Sprachen: Endliche Automaten, kontextfreie Grammatiken, Pumping Lemmata und mehr Beweisverfahren fr Korrektheit und Laufzeit von Algorithmen Paradigmen fr den Algorithmenentwurf Amortisierte Analyse und untere Schranke fr Laufzeiten NP-Vollst„ndigkeit und Reduktion