Andere Kunden interessierten sich auch für
![Logik für Informatiker]( "Logik für Informatiker")
Logik für Informatiker34,99 €![Zur Logik der Logik-Programmierung]( "Zur Logik der Logik-Programmierung")
Zur Logik der Logik-Programmierung54,99 €![Vorlesungen zur Komplexitätstheorie]( "Vorlesungen zur Komplexitätstheorie")
Vorlesungen zur Komplexitätstheorie59,95 €![Komplexitätstheorie]( "Komplexitätstheorie")
Komplexitätstheorie64,99 €![Codierungstheorie und Kryptographie]( "Codierungstheorie und Kryptographie")
Codierungstheorie und Kryptographie14,99 €![Parallelisierung komplexer Probleme]( "Parallelisierung komplexer Probleme")
Parallelisierung komplexer Probleme54,99 €![Resolution Methods for the Decision Problem]( "Resolution Methods for the Decision Problem")
Resolution Methods for the Decision Problem39,99 €
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.