Grundkurs Theoretische Informatik

Theoretische Informatik – der Vorlesungsbegleiter. Berechenbarkeit, formale Sprachen, Algorithmik, Komplexitätstheorie: All das sind theoretische Themen mit praktischer Relevanz, zu denen es ebenso praktische Zugänge gibt. Und die finden Sie in diesem neuen Grundkurs aus der Reihe »Informatik verstehen«.

Freuen Sie sich auf moderne Didaktik, die streng Formales mit Ihrer eigenen Intuition verknüpft. Die einzelnen Kapitel des Buches sind lernfreundlich ausgearbeitet und stellen zu jedem Thema die Verbindung zu den Aufgabenfeldern der Informatik her.

Stefan Neubert hat nicht nur selbst Freude an der theoretischen Informatik, sondern widmet sich auch mit Leidenschaft der Aufgabe, sie zu Beginn und im Laufe des Bachelorstudiums zu vermitteln. Mit diesem Buch legt er eine erhellende Einführung in die Theoretische Informatik vor, die Sie mit vielen anschaulichen Aufgaben und Beispiele beim Lernen unterstützt. Auch zum Selbststudium geeignet.

• Intuitive Zugänge, praktische Anwendungen, formale Methoden
• Kreativ knobeln, Probleme lösen und Beweise finden
• Ideal zum Selbststudium und als Vorlesungsbegleiter

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

Stefan Neubert hat zahlreiche Informatik-Workshops und -Camps für Schüler*innen entwickelt und durchgeführt. Studierende im Bachelor-Studiengang haben seine langjährige Tätigkeit in der Lehrveranstaltung "Theoretische Informatik" mit einem Lehrpreis belohnt, weil er mit Leidenschaft dafür arbeitet, komplexe Themen verständlich zu machen. Inzwischen arbeitet er als Program Manager für den Bachelor-Studiengang am Hasso-Plattner-Institut, wo er zuvor auch studiert, unterrichtet und geforscht hat. An der Informatik schätzt er besonders, dass sie Kreativität und Teamfähigkeit erfordert, obwohl das vielleicht oft nicht vermutet wird. Lernende schätzen seine verständliche Sprache und anschaulichen Beispiele – vor allem dann, wenn es anspruchsvoller wird.