Egon Börger

Berechenbarkeit Komplexität Logik

Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. 3. , verb. und erweitert Auflage 1992.
kartoniert , 524 Seiten
ISBN 3528289287
EAN 9783528289287
Veröffentlicht März 1992
Verlag/Hersteller Vieweg+Teubner Verlag

Auch erhältlich als:

pdf eBook
33,26
49,99 inkl. MwSt.
Lieferbar innerhalb von 3-5 Tagen (Versand mit Deutscher Post/DHL)
Teilen
Beschreibung

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.

Hersteller
Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46

DE - 65189 Wiesbaden

E-Mail: ProductSafety@springernature.com