Automaten und Sprachen: Theoretische Informatik für die Praxis
Buy Now
By using these links, you support READO. We receive an affiliate commission without any additional costs to you.
Description
Dieses Lehrbuch entwickelt die theoretischen Grundlagen der Informatik mit möglichst direktem Anwendungsbezug: Es versteht die theoretische Informatik als einen Werkzeugkasten, der es Softwareingenieuren und -entwicklern erlaubt, informierte Designentscheidungen in ihren Entwicklungsprojekten zu fällen und eine entsprechende Intuition dafür zu entwickeln.
Das Buch richtet sich insbesondere an Studierende an Fachhochschulen bzw. Hochschulen für angewandte Wissenschaften, kann aber auch beim Quereinstieg oder zur Wissensauffrischung wertvolle Dienste leisten. Behandelt werden endliche Automaten und reguläre Ausdrücke, kontextfreie Grammatiken und Stackautomaten, Turing-Maschinen und Turing-Vollständigkeit, Entscheidbarkeit, Komplexität und NP-Vollständigkeit sowie Quantencomputer. Innerhalb der Kapitel sind Aufgaben zur Verständniskontrolle und am Ende jedes Kapitels abschließende Übungsaufgaben bereitgestellt – die Lösungen dazu sind jeweils per QR-Code verlinkt und online verfügbar. Letzteres gilt außerdem für den Anki-Lernkartenstapel, den der Autor als digitale Ergänzung zum Buch anbietet.
Book Information
Description
Dieses Lehrbuch entwickelt die theoretischen Grundlagen der Informatik mit möglichst direktem Anwendungsbezug: Es versteht die theoretische Informatik als einen Werkzeugkasten, der es Softwareingenieuren und -entwicklern erlaubt, informierte Designentscheidungen in ihren Entwicklungsprojekten zu fällen und eine entsprechende Intuition dafür zu entwickeln.
Das Buch richtet sich insbesondere an Studierende an Fachhochschulen bzw. Hochschulen für angewandte Wissenschaften, kann aber auch beim Quereinstieg oder zur Wissensauffrischung wertvolle Dienste leisten. Behandelt werden endliche Automaten und reguläre Ausdrücke, kontextfreie Grammatiken und Stackautomaten, Turing-Maschinen und Turing-Vollständigkeit, Entscheidbarkeit, Komplexität und NP-Vollständigkeit sowie Quantencomputer. Innerhalb der Kapitel sind Aufgaben zur Verständniskontrolle und am Ende jedes Kapitels abschließende Übungsaufgaben bereitgestellt – die Lösungen dazu sind jeweils per QR-Code verlinkt und online verfügbar. Letzteres gilt außerdem für den Anki-Lernkartenstapel, den der Autor als digitale Ergänzung zum Buch anbietet.