Theoretische Informatik

Format: PDF

Zum Buch:

Basierend auf den Erfahrungen aus ihren Lehrveranstaltungen zur Theoretischen Informatik vermitteln Baier und Asteroth die klassischen Inhalte einer Einführungsvorlesung für Studenten im Haupt- und Nebenfach. Auch für Studierende mit geringen mathematischen Vorkenntnissen nachvollziehbar

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

Inhaltsverzeichnis

Leseprobe