André Schulz

Grundlagen der Theoretischen Informatik

Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen

• Broschiertes Buch

Produktbeschreibung

Dieses Lehrbuch liefert eine grundlegende, aber verständliche Einführung in die Theoretische Informatik. Ziel ist es, Konzepte zu vermitteln, die auch in anderen Informatikbereichen Anwendung finden. Zentral sind Themen wie formale Sprachen, kontextfreie Grammatiken, endliche Automaten und die Komplexitätstheorie.

Die behandelten Inhalte sind grundlegend für das formale Arbeiten in der gesamten Informatik und bilden das Fundament für weiterführende Themen der Theoretischen Informatik. Durch eine Vielzahl von Aufgaben mit Lösungen erweitert in dieser zweiten Auflage eignet sich dieses Lehrbuch sehr gut zum Selbststudium.

Der Inhalt
Einführung und formale SprachenReguläre SprachenKontextfreie SprachenEntscheidbare und erkennbare SprachenUnentscheidbare SprachenKomplexitätstheorie
Der Autor

André Schulz ist Professor für Theoretische Informatik an der FernUniversitat in Hagen.

Produktdetails

• Verlag: Springer Berlin Heidelberg / Springer Vieweg / Springer, Berlin
• Artikelnr. des Verlages: 89518504, 978-3-662-72140-7
• 2. Aufl.
• Seitenzahl: 334
• Erscheinungstermin: 20. Januar 2026
• Deutsch
• Abmessung: 240mm x 168mm
• ISBN-13: 9783662721407
• ISBN-10: 3662721406
• Artikelnr.: 74995470

Autorenporträt

¿André Schulz ist Professor fu¿r Theoretische Informatik an der FernUniversität in Hagen.

Inhaltsangabe

Einführung und formale Sprachen.- Reguläre Sprachen.- Kontextfreie Sprachen.- Entscheidbare und erkennbare Sprachen.- Unentscheidbare Probleme.- Komplexitätstheorie.