Dieses Studienbuch von Dexter C. Kozen bietet Bachelorstudierenden eine klare Einführung in die grundlegenden theoretischen Modelle der Berechenbarkeit. Mit einem Schwerpunkt auf dem systematischen Aufbau behandelt das Buch endliche Automaten, Kellerautomaten und kontextfreie Sprachen. Anschließend wird die Leserin/der Leser in Turingmaschinen, effektive Berechenbarkeit, Entscheidbarkeit und Gödels Unvollständigkeitssätze eingeführt.
Beschreibung
Das Buch ist für Bachelorstudierende mit grundlegenden Kenntnissen in diskreter Mathematik gedacht und bietet eine Einführung in die wichtigsten Modelle der Berechnungstheorie. Neben ausführlichen Erklärungen enthält es zahlreiche Übungen von einfach bis anspruchsvoll. Der Kurs beginnt mit endlichen Automaten und erweitert sich zu komplexeren Modellen mit Kellerautomaten. In späteren Kapiteln werden Turingmaschinen und fortgeschrittene theoretische Konzepte behandelt.
Werbeinformationen
Springer Book Archives
Produktspezifikationen
- Autor: Dexter C. Kozen
- Reihe: Undergraduate Texts in Computer Science
- Verlag: Springer-Verlag New York Inc.
- Erscheinungsdatum: 1997-04-30
- Anzahl Seiten: 400
- ISBN: 9780387949079
- Thema: Mathematical theory of computation
- BISAC: COMPUTERS / Machine Theory