Blick ins Buch

Theoretische Informatik

Klar, kompakt, praxisnah

Lucien Sina (Autor)

Buch | Softcover

177 Seiten

2025
tredition (Verlag)
978-3-384-75380-9 (ISBN)

Lese- und Medienproben

Umschlag Rückseite (JPEG)
Autorenporträt (JPEG)

Artikel merken

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.

Der Autor Lucien Sina ist lizenzierter Fitnesstrainer und beschäftigt sich seit über 20 Jahren intensiv mit Bodybuilding, Trainingslehre und Ernährungsstrategien. In dieser Zeit hat er fundiertes Wissen über Muskelaufbau, gezielten Fettabbau sowie funktionelle Beweglichkeit und Kraftentwicklung aufgebaut - sowohl durch eigene Erfahrung als auch durch kontinuierliche Weiterbildung. Seine Trainingsphilosophie verbindet wissenschaftlich fundierte Ansätze mit praxiserprobten Methoden, um nachhaltige körperliche Entwicklung und ganzheitliche Fitness zu fördern. In seinem Buch vermittelt er sein umfassendes Know-how kompakt, verständlich und direkt umsetzbar. Lucien Sina ist ein erfahrener Informatiker und Pädagoge mit einer Leidenschaft dafür, komplexe Themen zugänglich zu machen. Er verfügt über jahrelange Erfahrung in der Entwicklung und Analyse von Algorithmen und führt die Leser durch die wesentlichen Konzepte der Informatik.

Erscheint lt. Verlag	13.11.2025
Verlagsort	Hamburg
Sprache	deutsch
Maße	120 x 190 mm
Gewicht	193 g
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
Schlagworte	Algorithmen • Automatentheorie • Berechenbarkeit • Berechenbarkeitstheorie • Entscheidbarkeit • formale Sprachen • Kontextfreie Sprachen • reguläre Sprachen • Theoretische Informatik • Turingmaschinen
ISBN-10	3-384-75380-1 / 3384753801
ISBN-13	978-3-384-75380-9 / 9783384753809
Zustand	Neuware