The RISC-V Reader
The Science of Programming
The art of computer programming. 4A : Part 1. Combinatorial algorithms : [the classic work extended and refined]
Theoretische Informatik
Tracking and Data Fusion
Trees, Maps, and Theorems
Theoretische Informatik - kurz gefasst
description
Das Buch macht den Leser in kompakter Form mit den wesentlichen Grundzügen der Theoretischen Informatik vertraut. Der erste und größte Teil behandelt Formale Sprachen, Grammatiken und Automaten. Prof. Schöning gelingt durch seinen verständlichen Beweisstil und viele Beispiele eine übersichtliche und im Detail gut nachvollziehbare Darstellung dieses grundlegenden Gebietes der Theoretischen Informatik. Es schließt sich die Behandlung der Berechenbarkeitstheorie an. Hier werden beginnend mit dem intuitiven Berechenbarkeitsbegriff und der Churchschen These die wichtigsten Theoreme bis hin zum Gödelschen Unvollständigkeitssatz bewiesen. Der dritte Teil führt in die Komplexitätstheorie ein und legt hierbei den Schwerpunkt auf die Theorie der NP-Vollständigkeit. Zahlreiche Querbezüge und Bemerkungen erleichtern das Verständnis und vertiefen das Gelernte.
read more
pages
198
Year published
2001
Publisher
Spektrum Akademischer Verlag
Issn
3-8274-1099-1
Language
de
categories
id
F.0 SCH01