Automaten und Sprachen: Theoretische Informatik für die Praxis
Springer Berlin (Verlag)
978-3-662-70145-4 (ISBN)
- Noch nicht erschienen - erscheint am 06.01.2025
- Versandkostenfrei innerhalb Deutschlands
- Auch auf Rechnung
- Verfügbarkeit in der Filiale vor Ort prüfen
- Artikel merken
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.
Andreas Müller ist seit 2006 Professor für Mathematik an der OST Ostschweizer Fachhochschule in Rapperswil. Bereits seit 2008 betreut er dort das Fach Automaten und Sprachen und beschäftigt sich in diesem Zusammenhang u. a. damit, wie die Grundlagen der Komplexitätstheorie verständlich dargestellt werden können. Nicht nur den Unterricht in den Grundlagenfächern, sondern auch Studienarbeiten oder sein mathematisches Seminar gestaltet er nach dem Grundsatz, dass gute Mathematik auch zu guten Ingenieurslösungen in angewandten Problemstellungen führt. Er wurde als erster Dozent der OST mit dem Credit Suisse Award for Best Teaching ausgezeichnet.
Reguläre Sprachen.- Nicht reguläre Sprachen.- Nichtdeterministische endliche Automaten.- Reguläre Operationen und reguläre Ausdrücke.- Kontextfreie Grammatiken und Sprachen.- Parsing.- Stackautomaten.- Nicht kontextfreie Sprachen.- Abzählbar und überabzählbar unendlich.- Turing-Maschinen.- Entscheidbarkeit.- Komplexität.- NP-Vollständigkeit.- Programmiersprachen und Turing-Vollständigkeit.- Quantencomputer.- Anhang Grundlagen und Bezeichnungen.
| Erscheint lt. Verlag | 23.2.2025 |
|---|---|
| Zusatzinfo | XVI, 436 S. 160 Abb., 140 Abb. in Farbe. |
| Verlagsort | Berlin |
| Sprache | deutsch |
| Maße | 168 x 240 mm |
| Themenwelt | Informatik ► Theorie / Studium ► Theoretische Informatik |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Endliche Automaten • Entscheidbarkeit • Klassen P und NP • kontextfreie Grammatik • NP-Vollständigkeit • Quantencomputer • Reguläre Ausdrücke • Softwareingenieur • Stackautomaten • Theoretische Informatik für Anwender • Theoretische Informatik für Fachhochschule • Turing-Maschine • Turing-Vollständigkeit |
| ISBN-10 | 3-662-70145-6 / 3662701456 |
| ISBN-13 | 978-3-662-70145-4 / 9783662701454 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
