Wir bitten um Verständnis, dass es aufgrund der aktuellen Situation zu Verzögerungen bei der Auslieferung kommt.

Christel Baier / Alexander Asteroth

Theoretische Informatik

Einführung in Berechenbarkeit, Komplexität und formale Sprachen

Theoretische Informatik

Inhaltsverzeichnis
Leseprobe
Dieses Buch schon gelesen? Haben Sie dieses Buch gelesen?

eBook (Online-Lesen, ADE-PDF) Was ist das?

Best.Nr.
978-3-8632-6664-6
Umfang
426 Seiten
Download
2,5 MB
PDF-Nutzung:
Lesen & Drucken (benötigt Adobe Digital Editions)
Erschienen am
01.09.2002
Sprache
Deutsch
Lieferzeit
Sofort
Versandkosten
Versandkostenfrei
€ 23,99
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


Online-Tipp von informit.de: Dieser Titel ist jetzt als Online-eBook zum sofortigen Herunterladen in unserem eBook-Shop erhältlich. Bitte hier klicken.



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
Ihr Status: Sie sind nicht eingeloggt. Bitte loggen Sie sich ein um Zugang zu unseren Materialien zu bekommen.
Bitte beachten Sie, dass nicht bei allen Titeln Materialien zur Verfügung stehen.

Allgemein - Folien
Hier gelangen Sie zu den Errata-Seiten dieses Buches.Hier gelangen Sie zur Homepage von Dr. Alexander Asteroth.Hier gelangen Sie zur Homepage von Prof. Dr. Christel Baier.
Kapitel 6 - Folien