Theoretische Informatik

Klar, kompakt, praxisnah
Erscheinungsjahr 2025
ISBN: 978-3-384-75381-6
Verlag: tredition

Buch, Deutsch, 260 Seiten, Format (B × H): 125 mm x 196 mm, Gewicht: 361 g

Reihe: Informatik

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.

Zielgruppe

Bachelor-Studierende der Informatik (1.–3. Fachsemester) — Kurs: Formale Sprachen / Theoretische Informatik

Voraussetzungen: Diskrete Mathematik, Mengenlehre, Beweismethoden (Induktion, Widerspruch).

Mehrwert: Kompakter, semestergeeigneter Begleittext mit vollständigen Beweisen und vielen Übungen; ideal zur Klausurvorbereitung und zum Verständnis zentraler Sätze (Pumping-Lemma, Myhill-Nerode).

Kapitel-Tipp: Ganze Reihenfolge durcharbeiten; besonders wichtig: endliche Automaten ? reguläre Sprachen ? Kellerautomaten ? kontextfrei ? Turingmaschine ? Entscheidbarkeit.

Master-Studierende / Studienanfänger mit Fokus Theoretische Informatik oder Compiler/Verifikation

Voraussetzungen: Solide Analysis der Algorithmen, mathematische Reife.

Mehrwert: Fundierte, formal saubere Darstellung, die als Referenz für weiterführende Kurse (Komplexität, formale Verifikation, Compilerbau) taugt; klare Beweisführungen erleichtern eigenes Weiterforschen.

Kapitel-Tipp: Schwerpunkte auf Reduktionen, Diagonalisierung, Satz von R

Autoren/Hrsg.

Sina, Lucien

Über Autor(innen)

Sina, Lucien
Lucien Sina ist Mathematiker, Informatiker, Pädagoge und vielseitiger Sachbuchautor. In seiner Arbeit verbindet er fundierte Fachkenntnisse aus Softwareentwicklung und Algorithmik mit pädagogischem Feingefühl und mehr als zwei Jahrzehnten praktischer Erfahrung als lizenzierter Fitnesstrainer. Diese ungewöhnliche Kombination erlaubt ihm, abstrakte Konzepte ebenso verständlich zu machen wie konkrete Handlungsanweisungen für Alltag und Praxis.

Seine Arbeitsweise ist interdisziplinär und streng praxisorientiert: Aus wissenschaftlicher Literatur, eigenen Feldtests und langjähriger Praxis leitet er klare, nachvollziehbare Konzepte ab – ob es um Algorithmen und Programmierparadigmen, Trainingslehre und Ernährungsstrategien oder um Themen wie Intelligenz, Psychologie, Hundeerziehung und Anti-Aging geht. Seine Texte sind didaktisch durchdacht, reich an Beispielen, Schritt-für-Schritt-Anleitungen, Übungen und konkreten Fallstudien; komplexe Inhalte bereitet er so auf, dass Leser schnell verstehen und unmittelbar anwenden können.

Als Autor legt er besonderen Wert auf Strukur, Präzision und Nutzwert: Kapitel sind auf Lernfortschritt ausgelegt, Inhalte werden mit Code-Beispielen, Trainingsplänen, Checklisten und Umsetzungsstrategien ergänzt. Darüber hinaus entwickelt er Workshops, Online-Kurse und Coachings, in denen er Erkenntnisse aus Forschung und Praxis direkt weitergibt. Seine Zielgruppe reicht von Neugierigen und Studierenden über Praktiker bis zu Fortgeschrittenen, die fundiertes, alltagstaugliches Wissen suchen.

Kurz: Lucien Sina liefert wissenschaftlich gestütztes Know-how, das nicht im Regal verstaubt, sondern wirkt — verständlich geschrieben, praktisch getestet und sofort nutzbar. Entdecken Sie seine Arbeiten, wenn Sie Ergebnisse statt bloßer Theorie wünschen.