Berechenbarkeit, Komplexität, Logik

Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Autori

• Egon Börger

Parametri

Pagine

524pagine

Tempo di lettura

19ore

• Computer, IT, programmazione
• Matematica

Maggiori informazioni sul libro

InhaltsverzeichnisInhaltsü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.

Per saperne di più

Lingua: Tedesco

Pubblicato: 1992

(In brossura)