Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Autor Egon Börgerde Limba Germană Paperback – mar 1992
Preț: 342.53 lei
Nou
Puncte Express: 514
Preț estimativ în valută:
65.55€ • 68.09$ • 54.45£
65.55€ • 68.09$ • 54.45£
Carte tipărită la comandă
Livrare economică 29 ianuarie-04 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783528289287
ISBN-10: 3528289287
Pagini: 524
Ilustrații: XX, 499 S.
Dimensiuni: 162 x 229 x 28 mm
Ediția:3., verb. und erw. Aufl. 1992
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Locul publicării:Wiesbaden, Germany
ISBN-10: 3528289287
Pagini: 524
Ilustrații: XX, 499 S.
Dimensiuni: 162 x 229 x 28 mm
Ediția:3., verb. und erw. Aufl. 1992
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Locul publicării:Wiesbaden, Germany
Public țintă
Upper undergraduateCuprins
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.