Theoretische Informatik: Klar, kompakt, praxisnah [German]

By Lucien Sina

Theoretische Informatik - klar, kompakt und praxisnah. Dieses Buch f hrt Sie Schritt f r Schritt in die Grundlagen der formalen Sprachen 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 Theorie der Berechenbarkeit aufbauen wollen - dieses Buch bietet Ihnen eine fundierte, gut lesbare Einf hrung in eines der zentralen Gebiete der theoretischen Informatik.

• Format: Hardcover
• Language: German
• ISBN: 338475381X
• ISBN13: 9783384753816
• Release Date: November 2025
• Publisher: Tredition Gmbh
• Length: 180 Pages
• Weight: 0.68 lbs.
• Dimensions: 0.6" x 5.0" x 8.0"