Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen Und Kalküle Unter Besonderer Berücksichtigung Ihrer Komplexität (german Edition)

Endlich liegt der ,,Klassiker" der Theoretischen Informatik, der Studenten und Forschern ein unentbehrliches Standardwerk ist, in neuer Auflage vor. Front Matter....Pages I-XX Front Matter....Pages 1-2 Mathematischer Algorithmusbegriff....Pages 2-52 Komplexität Algorithmischer Unlösbarkeit....Pages 53-136 Rekursivität und Komplexität....Pages 137-264 Front Matter....Pages 265-267 Logische Analyse des Wahrheitsbegriffs....Pages 267-315 Logische Analyse des Beweisbegriffs....Pages 316-351 Komplexität Logischer Entscheidungsprobleme....Pages 352-422 Back Matter....Pages 423-500