Berechenbarkeitstheorie
epubli (Verlag)
978-3-565-01648-8 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Berechenbarkeitstheorie - klar, kompakt und praxisnah.Dieses Buch führt Sie Schritt für Schritt in die Grundlagen der formalen Sprachen, der Automatentheorie und der Berechenbarkeit ein: von endlichen Automaten über Kellerautomaten und kontextfreie Grammatiken bis zur mächtigen Turingmaschine. Sie lernen nicht nur die formalen Modelle kennen, sondern verstehen auch die Beweistechniken, mit denen man Eigenschaften von Sprachen nachweist - und vor allem, wo die Grenzen des Berechenbaren liegen.Mit vielen Beispielen, anschaulichen Grafiken, klaren Beweisen und Übungsaufgaben mit Musterlösungen eignet sich das Buch ideal für Studierende, Lehrende und alle, die sich strukturiert in das Thema einarbeiten möchten. Kernaussagen wie das Pumping-Lemma, Myhill-Nerode, der Satz von Kleene sowie Diagonalisierung und der Satz von Rice werden verständlich dargestellt und in ihren Konsequenzen diskutiert.Besonderer Wert wurde auf Verständlichkeit und Praktikabilität gelegt: Die Kapitel sind modular aufgebaut, Beweise sind vollständig ausgeführt, und dort, wo technische Details ablenken, wird die Intuition betont. Zahlreiche Übungsaufgaben fördern das aktive Verständnis - perfekt als Begleittext zu Vorlesungen oder zum Selbststudium.Ob Sie Grundlagenwissen für weiterführende Kurse (z. B. Komplexitätstheorie) suchen oder solide mathematische Fertigkeiten in der Theorie der Berechenbarkeit aufbauen wollen - dieses Buch bietet Ihnen eine fundierte, gut lesbare Einführung in eines der zentralen Gebiete der theoretischen Informatik.
Lucien Sina ist Mathematiker, Informatiker, Pädagoge und vielseitiger Sachbuchautor. Er verbindet langjährige Erfahrung in Softwareentwicklung, Algorithmik und Didaktik mit der Fähigkeit, komplexe Inhalte klar und verständlich zu vermitteln. Als lizenzierter Fitnesstrainer arbeitet er seit über zwei Jahrzehnten mit Trainingslehre und Ernährung und vereint wissenschaftliche Erkenntnisse mit praktischer Erfahrung. In seinen Büchern – zu Informatik, Sport, Ernährung, Intelligenz, Psychologie, Hundeerziehung, Anti-Aging und weiteren Lebensthemen – legt er besonderen Wert auf Verständlichkeit, klare Struktur und unmittelbare Umsetzbarkeit. Seine Werke richten sich an Leser, die fundiertes Wissen suchen, das sowohl theoretisch solide als auch alltagstauglich ist.
| Erscheinungsdatum | 06.10.2025 |
|---|---|
| Sprache | deutsch |
| Maße | 125 x 190 mm |
| Gewicht | 192 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Automatentheorie • Berechenbarkeit • Berechenbarkeitstheorie • formale Sprachen • Komplexitätstheorie • Theoretische Informatik • Turingmaschinen |
| ISBN-10 | 3-565-01648-5 / 3565016485 |
| ISBN-13 | 978-3-565-01648-8 / 9783565016488 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
