Header

12WS - FB12 - Schnitger - Theoretische Informatik 1

Klausur - Wiederhohlung

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 14.02.2013
  • Beschreibung: 

  •  

Aufgabenbesprechung

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Robert-Mayer-Str.11-15, MagnusHörsaal
  • Datum: 12.02.2013
  • Beschreibung: 

  •  

Zusammenfassung Automatisches Beweisen

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Robert-Mayer-Str.11-15, MagnusHörsaal
  • Datum: 07.02.2013
  • Beschreibung: 

  •  

Rekursive Aufzählbarkeit und Entscheidbarkeit {1}

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Robert-Mayer-Str.11-15, MagnusHörsaal
  • Datum: 05.02.2013
  • Beschreibung: 

  •  

Rekursive Aufzählbarkeit und Entscheidbarkeit {2}

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Robert-Mayer-Str.11-15, MagnusHörsaal
  • Datum: 05.02.2013
  • Beschreibung: 

  •  

Das spezielle Halteproblem

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Robert-Mayer-Str.11-15, MagnusHörsaal
  • Datum: 31.01.2013
  • Beschreibung: 

  •  

Unentscheidbarkeit - Diagonalisierungsmethode - Reduktionen - Das Halteproblem

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 29.01.2013
  • Beschreibung: 

  •  

Berechenbarkeit und Entscheidbarkeit

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 24.01.2013
  • Beschreibung: 

  •  

Beweis des Satzes von Cook - Entscheidbarkeit und Berechenbarkeit

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 22.01.2013
  • Beschreibung: 

  •  

Wegeprobleme - Traveling Salesman Problem - Der Satz von Cook

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 15.01.2013
  • Beschreibung: 

  •  

Set Cover - Vortex Cover - Wegeprobleme

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 20.12.2012
  • Beschreibung: 

  •  

SAT - CLIQUE - NP-Vollständigkeit - Independent Set

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 18.12.2012
  • Beschreibung: 

  •  

Greedy-Algorithmen - Dynamische Programmierung - Klausuraufgaben

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 17.12.2012
  • Beschreibung: 

  •  

NP-Vollständigkeit - KNF - SAT

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 13.12.2012
  • Beschreibung: 

  •  

Die Klasse NP - Polynomielle Reduktion - NP-Vollständigkeit

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 11.12.2012
  • Beschreibung: 

  •  

NP-Vollständigkeit - Turingmaschinen

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 04.12.2012
  • Beschreibung: 

  •  

Die Klasse p - Nichtdeterministische Berechnung

Deliver_poster
  • 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

Deliver_poster
  • 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

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 29.11.2012
  • Beschreibung: 

  •  

Algorithmus von Floyd - Das paarweise Alignment - Rekursionsgleichungen

Deliver_poster
  • 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

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 22.11.2012
  • Beschreibung: 

  •  

Divide and Conquer - Matrizenmultiplikation - Orakel Ansatz

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 20.11.2012
  • Beschreibung: 

  •  

Greedy-Algorithmen - Huffman-Codes

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 15.11.2012
  • Beschreibung: 

  •  

Algorithmus von Kruskal - Greedy-Algorithmen - Scheduling

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 13.11.2012
  • Beschreibung: 

  •  

Minimale Spannbäume - Algorithmus von Prim

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 08.11.2012
  • Beschreibung: 

  •  

Breitensuche - Dijkstra's Algorithmus

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 06.11.2012
  • Beschreibung: 

  •  

Asymptotik und Laufzeitanalyse

Deliver_poster
  • Untertitel: Zusatzvorlesung zu GL 1
  • Sprecher: Ronja Düffel
  • Datum: 01.11.2012
  • Beschreibung: 

  •  

Sample Sort

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Bockenheim Magnus Hörsaal
  • Datum: 01.11.2012
  • Beschreibung: 

  •  

Vergleichsorientierte Sortierverfahren - Distribution Counting - Radixsort

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 30.10.2012
  • Beschreibung: 

  •  

Quicksort - Mergesort - Vergleichsorientierte Sortierverfahren

Deliver_poster
  • Sprecher:  Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 25.10.2012
  • Beschreibung: 

    Ton ab 15. Minute

  •  

Bubble Sort und Kollegen

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim. Bockenheim Magnus Hörsaal
  • Datum: 18.10.2012
  • Beschreibung: 

  •  

V2 Qicksort - Mergesort - Zufällige Pivotwahl

Deliver_poster
  • Sprecher: Prof. Dr. Georg Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 24.10.2012
  • Beschreibung: 

  •  

V0 Einführung

Deliver_poster
  • Sprecher: Prof. Dr. Schnitger
  • Ort: Campus Bockenheim - Magnus Hörsaal
  • Datum: 16.10.2012
  • Beschreibung: 

  •  
Footer
'