Buch, Deutsch, 499 Seiten, Paperback, Format (B × H): 162 mm x 229 mm, Gewicht: 800 g
Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Buch, Deutsch, 499 Seiten, Paperback, Format (B × H): 162 mm x 229 mm, Gewicht: 800 g
ISBN: 978-3-528-28928-7
Verlag: Vieweg+Teubner Verlag
Zielgruppe
Upper undergraduate
Autoren/Hrsg.
Weitere Infos & Material
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.