Endlich liegt der ,,Klassiker" der Theoretischen Informatik, der Studenten und Forschern ein unentbehrliches Standardwerk ist, in neuer Auflage vor.
Inhalt
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.
Titel
Berechenbarkeit Komplexität Logik
Untertitel
Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Autor
EAN
9783322832276
Format
E-Book (pdf)
Hersteller
Genre
Veröffentlichung
08.03.2013
Digitaler Kopierschutz
Wasserzeichen
Anzahl Seiten
499
Auflage
3., verb. und erw. Aufl. 1992
Lesemotiv
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.