12WS - FB12 - Schnitger - Theoretische Informatik 1
Klausur - Wiederhohlung
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 14.02.2013
- Beschreibung:
Aufgabenbesprechung
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Robert-Mayer-Str.11-15, MagnusHörsaal
- Datum: 12.02.2013
- Beschreibung:
Zusammenfassung Automatisches Beweisen
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Robert-Mayer-Str.11-15, MagnusHörsaal
- Datum: 07.02.2013
- Beschreibung:
Rekursive Aufzählbarkeit und Entscheidbarkeit {1}
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Robert-Mayer-Str.11-15, MagnusHörsaal
- Datum: 05.02.2013
- Beschreibung:
Rekursive Aufzählbarkeit und Entscheidbarkeit {2}
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Robert-Mayer-Str.11-15, MagnusHörsaal
- Datum: 05.02.2013
- Beschreibung:
Das spezielle Halteproblem
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Robert-Mayer-Str.11-15, MagnusHörsaal
- Datum: 31.01.2013
- Beschreibung:
Unentscheidbarkeit - Diagonalisierungsmethode - Reduktionen - Das Halteproblem
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 29.01.2013
- Beschreibung:
Berechenbarkeit und Entscheidbarkeit
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 24.01.2013
- Beschreibung:
Beweis des Satzes von Cook - Entscheidbarkeit und Berechenbarkeit
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 22.01.2013
- Beschreibung:
Wegeprobleme - Traveling Salesman Problem - Der Satz von Cook
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 15.01.2013
- Beschreibung:
Set Cover - Vortex Cover - Wegeprobleme
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 20.12.2012
- Beschreibung:
SAT - CLIQUE - NP-Vollständigkeit - Independent Set
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 18.12.2012
- Beschreibung:
Greedy-Algorithmen - Dynamische Programmierung - Klausuraufgaben
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 17.12.2012
- Beschreibung:
NP-Vollständigkeit - KNF - SAT
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 13.12.2012
- Beschreibung:
Die Klasse NP - Polynomielle Reduktion - NP-Vollständigkeit
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 11.12.2012
- Beschreibung:
NP-Vollständigkeit - Turingmaschinen
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 04.12.2012
- Beschreibung:
Die Klasse p - Nichtdeterministische Berechnung
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 06.12.2012
- Beschreibung:
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
- Beschreibung:
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
- Beschreibung:
Divide and Conquer - Matrizenmultiplikation - Orakel Ansatz
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 20.11.2012
- Beschreibung:
Greedy-Algorithmen - Huffman-Codes
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 15.11.2012
- Beschreibung:
Algorithmus von Kruskal - Greedy-Algorithmen - Scheduling
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 13.11.2012
- Beschreibung:
Minimale Spannbäume - Algorithmus von Prim
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 08.11.2012
- Beschreibung:
Breitensuche - Dijkstra's Algorithmus
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 06.11.2012
- Beschreibung:
Asymptotik und Laufzeitanalyse
- Untertitel: Zusatzvorlesung zu GL 1
- Sprecher: Ronja Düffel
- Datum: 01.11.2012
- Beschreibung:
Sample Sort
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Bockenheim Magnus Hörsaal
- Datum: 01.11.2012
- Beschreibung:
Vergleichsorientierte Sortierverfahren - Distribution Counting - Radixsort
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 30.10.2012
- Beschreibung:
Quicksort - Mergesort - Vergleichsorientierte Sortierverfahren
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 25.10.2012
- Beschreibung:
Ton ab 15. Minute
Bubble Sort und Kollegen
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim. Bockenheim Magnus Hörsaal
- Datum: 18.10.2012
- Beschreibung:
V2 Qicksort - Mergesort - Zufällige Pivotwahl
- Sprecher: Prof. Dr. Georg Schnitger
- Ort: Campus Bockenheim - Magnus Hörsaal
- Datum: 24.10.2012
- Beschreibung: