Berechenbarkeit Komplexität Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Heftet /
1992
/ Tysk
Produktdetaljer
ISBN
9783528289287
Publisert
1992-03-01
Utgave
3. utgave
Utgiver
Vendor
Vieweg+teubner Verlag
Høyde
229 mm
Bredde
162 mm
Aldersnivå
Upper undergraduate, P, 06
Språk
Product language
Tysk
Format
Product format
Heftet
Forfatter
Endlich liegt der ,,Klassiker" der Theoretischen Informatik, der Studenten und Forschern ein unentbehrliches Standardwerk ist, in neuer Auflage vor.
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.
Les mer
Springer Book Archives
Produktdetaljer
ISBN
9783528289287
Publisert
1992-03-01
Utgave
3. utgave
Utgiver
Vendor
Vieweg+teubner Verlag
Høyde
229 mm
Bredde
162 mm
Aldersnivå
Upper undergraduate, P, 06
Språk
Product language
Tysk
Format
Product format
Heftet
Forfatter