Episodes
Übungshinweise und Anreize
Published 06/26/07
Polynomielle Reduktion auf Graphenproblemen
Published 06/21/07
Das P-NP - Problem
Published 06/21/07
Reduzierbarkeit: Clique - Vertex Cover
Published 06/21/07
NP-Vollstaendigkeit
Published 06/21/07
Das Erfuellbarkeitsproblem
Published 06/21/07
Der Satz von Cook
Published 06/21/07
Die Codierung und iher Korrektheit
Published 06/21/07
Sortierverfahren
Published 06/14/07
Unentscheidbarkeit auf Grammatiken
Published 06/14/07
Rückblick: Beweistechniken fuer Unlösbarkeit
Published 06/14/07
Das Post'sche Korrespondenzproblem
Published 06/07/07
Unentscheidbarkeit auf Grammatiken
Published 06/07/07
Rueckblick: Beweistechniken fuer Unloesbarkeit
Published 06/07/07
Komplexitätstheorie
Published 06/07/07
Die Mathematik Asymptotischer Vergleiche
Published 06/07/07
Zeit- und Platzbedarf von Maschinen
Published 06/07/07
Konkrete Komplexitaetsanalyse
Published 06/07/07
Das Halteproblem ist unentscheidbar
Published 05/31/07
Diagonalisierung
Published 05/31/07
Wachstums- und Monotonieargumente
Published 05/31/07
Das Busy-Beaver Problem
Published 05/31/07
Beweisfuehrung durch Reduktion
Published 05/31/07
Beispiele von Problemreduktion
Published 05/31/07
Der Satz von Rice
Published 05/31/07