Berechenbarkeit Komplexität Logik
Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Seiten
1992
|
3., verb. und erw. Aufl. 1992
Vieweg & Teubner (Verlag)
978-3-528-28928-7 (ISBN)
Vieweg & Teubner (Verlag)
978-3-528-28928-7 (ISBN)
Endlich liegt der ,,Klassiker" der Theoretischen Informatik, der Studenten und Forschern ein unentbehrliches Standardwerk ist, in neuer Auflage vor.
Egon Börger ist Professor für Informatik an der Universität Pisa (Italien) und Alexander-von-Humboldt-Forschungspreisträger.
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.
Erscheint lt. Verlag | 1.3.1992 |
---|---|
Zusatzinfo | XX, 499 S. |
Verlagsort | Wiesbaden |
Sprache | deutsch |
Maße | 162 x 229 mm |
Gewicht | 712 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
Technik | |
Schlagworte | Algorithmen • Berechenbarkeit • Informatik • Komplexität • Logik • Maschine • Modell • Netzwerk • Norm • Programmierung • Signalverarbeitung • Simulation • Systeme |
ISBN-10 | 3-528-28928-7 / 3528289287 |
ISBN-13 | 978-3-528-28928-7 / 9783528289287 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
16,99 €