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.

Auf die Wunschliste

Weitere interessante Themen

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.