Klausur - Wiederhohlung
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 14.02.2013
Aufgabenbesprechung
- Sprecher Prof. Dr. Georg Schnitger
- Ort Robert-Mayer-Str.11-15, MagnusHörsaal
- Datum 12.02.2013
Zusammenfassung Automatisches Beweisen
- Sprecher Prof. Dr. Georg Schnitger
- Ort Robert-Mayer-Str.11-15, MagnusHörsaal
- Datum 07.02.2013
Rekursive Aufzählbarkeit und Entscheidbarkeit {1}
- Sprecher Prof. Dr. Georg Schnitger
- Ort Robert-Mayer-Str.11-15, MagnusHörsaal
- Datum 05.02.2013
Rekursive Aufzählbarkeit und Entscheidbarkeit {2}
- Sprecher Prof. Dr. Georg Schnitger
- Ort Robert-Mayer-Str.11-15, MagnusHörsaal
- Datum 05.02.2013
Das spezielle Halteproblem
- Sprecher Prof. Dr. Georg Schnitger
- Ort Robert-Mayer-Str.11-15, MagnusHörsaal
- Datum 31.01.2013
Unentscheidbarkeit - Diagonalisierungsmethode - Reduktionen - Das Halteproblem
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 29.01.2013
Berechenbarkeit und Entscheidbarkeit
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 24.01.2013
Beweis des Satzes von Cook - Entscheidbarkeit und Berechenbarkeit
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 22.01.2013
Wegeprobleme - Traveling Salesman Problem - Der Satz von Cook
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 15.01.2013
Set Cover - Vortex Cover - Wegeprobleme
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 20.12.2012
SAT - CLIQUE - NP-Vollständigkeit - Independent Set
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 18.12.2012
Greedy-Algorithmen - Dynamische Programmierung - Klausuraufgaben
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 17.12.2012
NP-Vollständigkeit - KNF - SAT
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 13.12.2012
Die Klasse NP - Polynomielle Reduktion - NP-Vollständigkeit
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 11.12.2012
Die Klasse p - Nichtdeterministische Berechnung
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 06.12.2012
NP-Vollständigkeit - Turingmaschinen
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 04.12.2012
Tiefensuche für gerichtete und ungerichtete Graphen - Dijkstra's Alg. - Kruskal's Alg. - Klausuraufgaben
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 03.12.2012
- Beschreibung Die erste halbe Stunde konnte leider nicht aufgezeichnet werden;
Dynamische Programmierung - Der Orakel-Ansatz - Rekursionsgleichungen
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 29.11.2012
Algorithmus von Floyd - Das paarweise Alignment - Rekursionsgleichungen
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 27.11.2012
- Beschreibung Die ersten sieben Minuten leider sehr dunkel;
Das gewichtete Intervall Scheduling
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 22.11.2012
Divide and Conquer - Matrizenmultiplikation - Orakel Ansatz
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 20.11.2012
Greedy-Algorithmen - Huffman-Codes
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 15.11.2012
Algorithmus von Kruskal - Greedy-Algorithmen - Scheduling
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 13.11.2012
Minimale Spannbäume - Algorithmus von Prim
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 08.11.2012
Breitensuche - Dijkstra's Algorithmus
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 06.11.2012
Asymptotik und Laufzeitanalyse
- Untertitel Zusatzvorlesung zu GL 1
- Sprecher Ronja Düffel
- Datum 01.11.2012
Sample Sort
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Bockenheim Magnus Hörsaal
- Datum 01.11.2012
Vergleichsorientierte Sortierverfahren - Distribution Counting - Radixsort
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 30.10.2012
Quicksort - Mergesort - Vergleichsorientierte Sortierverfahren
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 25.10.2012
- Beschreibung Ton ab 15. Minute
V2 Qicksort - Mergesort - Zufällige Pivotwahl
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 24.10.2012
Bubble Sort und Kollegen
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim. Bockenheim Magnus Hörsaal
- Datum 18.10.2012
V0 Einführung
- Sprecher Prof. Dr. Schnitger
- Ort Campus Bockenheim - Magnus Hörsaal
- Datum 16.10.2012
