Berechenbarkeit, Komplexität, Logik

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

Auteurs

• Egon Börger

Paramètres

• Informatique, programmation
• Mathématiques

En savoir plus sur le livre

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.

Achat du livre

• Année de publication: 1992