Theoretische Informatik

Online-Tipp von informit.de: Dieser Titel ist jetzt als Online-eBook zum sofortigen Herunterladen in unserem eBook-Shop erhältlich. Bitte hier klicken.
Zum Buch:
Eine anschauliche Einführung in die klassischen Themenbereiche der Theoretischen Informatik für Studierende der Informatik im Haupt- und Nebenfach. Die Autoren wählen einen Ansatz, der durch zahlreiche ausgearbeitete Beispiele auch LeserInnen mit nur elementaren Mathematikkenntnissen den Zugang zu Berechenbarkeit, Komplexitätstheorie und formalen Sprachen ermöglicht. Die mathematischen Konzepte werden sowohl formal eingeführt als auch informell erläutert und durch grafische Darstellungen veranschaulicht. Das Buch umfasst den Lehrstoff einführender Vorlesungen in die Theoretische Informatik und bietet zahlreiche Übungsaufgaben zu jedem Kapitel an.
Aus dem Inhalt:
Berechenbarkeit - Abstrakte Rechnermodelle - Entscheidungsprobleme Komplexität - Komplexitätsklassen - Das P-NP-Problem Formale Sprachen - Grammatiken - Reguläre Sprachen - Kontextfreie Sprachen - Deterministisch kontextfreie Sprachen - Entscheidungsprobleme für formale Sprachen
Über die Autoren:
Christel Baier ist Professorin an der Rheinischen Friedrich Wilhelms-Universität Bonn und bietet Vorlesungen zur Einführung in die Theoretische Informatik und zur Verifikation an. Alexander Asteroth ist inzwischen in der Industrie tätig.
Companion Website zum Buch unter www.pearson-studium.de
Auf der Website:
- Rund 100 Übungsaufgaben und - Lösungsvorschläge - Vorlesungsfolien - Alle Abbildungen des Buches

Christel Baier ist Professorin für Informatik an der Rheinischen Friedrich-Wilhelms-Universität Bonn. Sie bietet Vorlesungen zu verschiedenen Themen der theoretischen Informatik an.