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

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 Sprachen
• Reguläre Sprachen
• Kontextfreie Sprachen
• Entscheidbare und erkennbare Sprachen
• Unentscheidbare Sprachen
• Komplexitätstheorie

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

Info autore

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

Riassunto

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 Sprachen
• Reguläre Sprachen
• Kontextfreie Sprachen
• Entscheidbare und erkennbare Sprachen
• Unentscheidbare Sprachen
• Komplexitätstheorie

Der Autor
André Schulz ist Professor für Theoretische Informatik an der FernUniversität in Hagen.

Dettagli sul prodotto

• Autori: André Schulz
• Editore: Springer, Berlin
• Lingue: Tedesco
• Contenuto: Libro
• Forma del prodotto: Tascabile
• Data pubblicazione: 20.01.2026
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica
• EAN: 9783662721407
• ISBN: 978-3-662-72140-7
• Numero di pagine: 382
• Illustrazioni: XXII, 382 S. 177 Abb., 32 Abb. in Farbe.
• Dimensioni (della confezione): 16.8 x 24 cm
• Categorie: Informatikstudium, Theoretische Informatik, Mathematik für Informatiker, Berechenbarkeit, Theory of Computation, Formale Sprachen, Turing-Maschine, Mathematics of Computing, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Models of Computation, Theory and Algorithms for Application Domains, Kellerautomaten, endliche Automaten, Gödels Sätze, Nichtdeterminismus, Kontextfreie Grammatiken, P=NP-Problem, Rekursionstheorem, Nichtberechenbare Probleme, NP-Schwerheit