×
Berechenbarkeit, Komplexität, Logik
Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
von Egon BörgerInhaltsverzeichnis
- 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.