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.
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
Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Autor
EAN
9783663142133
Format
E-Book (pdf)
Hersteller
Genre
Veröffentlichung
02.07.2013
Digitaler Kopierschutz
Wasserzeichen
Anzahl Seiten
470
Auflage
2. Aufl. 1986
Lesemotiv
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.