Buch, Deutsch, 470 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 739 g
Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Buch, Deutsch, 470 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 739 g
ISBN: 978-3-528-18928-0
Verlag: Vieweg+Teubner Verlag
Zielgruppe
Research
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.