Egon Börger

Berechenbarkeit Komplexität Logik

Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

• Broschiertes Buch

Produktbeschreibung

Endlich liegt der ,,Klassiker" der Theoretischen Informatik, der Studenten und Forschern ein unentbehrliches Standardwerk ist, in neuer Auflage vor.

Produktdetails

• Verlag: Vieweg+Teubner
• 3., verb. u. erw. Aufl.
• Seitenzahl: 524
• Erscheinungstermin: 1. März 1992
• Deutsch
• Abmessung: 229mm x 162mm x 29mm
• Gewicht: 712g
• ISBN-13: 9783528289287
• ISBN-10: 3528289287
• Artikelnr.: 24615038

Inhaltsangabe

Inhaltsübersicht.- Erstes Buch: Elementare Berechnungstheorie.- A: Mathematischer Algorithmusbegriff.- B: Komplexität Algorithmischer Unlösbarkeit.- C: Rekursivität und Komplexität.- Zweites Buch: Elementare Prädikatenlogik.- D: Logische Analyse Des Wahrheitsbegriffs.- E: Logische Analyse Des Beweisbegriffs.- F: Komplexität Logischer Entscheidungsprobleme.- Bibliographie.- Symbolverzeichnis.