Standorte	Standort 2	Status	Vorbestellungen	Frist	Barcode	Lageplan
Standorte: TVA 19	Standort 2:	Status: Verfügbar	Vorbestellungen: 0	Frist:	Barcode: 00127834	Lagepläne: Lageplan

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 (Quelle: Verlag)