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