Theoretische Informatik 1

Diese Vorlesung abonnieren (RSS-Feed)
Thumbnail Thumbnail

Klausur - Wiederhohlung

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

Thumbnail Thumbnail

Aufgabenbesprechung

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

Thumbnail Thumbnail

Zusammenfassung Automatisches Beweisen

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

Thumbnail Thumbnail

Rekursive Aufzählbarkeit und Entscheidbarkeit {1}

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

Thumbnail Thumbnail

Rekursive Aufzählbarkeit und Entscheidbarkeit {2}

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

Thumbnail Thumbnail

Das spezielle Halteproblem

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

Thumbnail Thumbnail

Unentscheidbarkeit - Diagonalisierungsmethode - Reduktionen - Das Halteproblem

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

Thumbnail Thumbnail

Berechenbarkeit und Entscheidbarkeit

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

Thumbnail Thumbnail

Beweis des Satzes von Cook - Entscheidbarkeit und Berechenbarkeit

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

Thumbnail Thumbnail

Wegeprobleme - Traveling Salesman Problem - Der Satz von Cook

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

Thumbnail Thumbnail

Set Cover - Vortex Cover - Wegeprobleme

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

Thumbnail Thumbnail

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

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

Thumbnail Thumbnail

Greedy-Algorithmen - Dynamische Programmierung - Klausuraufgaben

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

Thumbnail Thumbnail

NP-Vollständigkeit - KNF - SAT

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

Thumbnail Thumbnail

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

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

Thumbnail Thumbnail

Die Klasse p - Nichtdeterministische Berechnung

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim - Magnus Hörsaal
  • Datum   06.12.2012

Thumbnail Thumbnail

NP-Vollständigkeit - Turingmaschinen

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

Thumbnail Thumbnail

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;

Thumbnail Thumbnail

Dynamische Programmierung - Der Orakel-Ansatz - Rekursionsgleichungen

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

Thumbnail Thumbnail

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;

Thumbnail Thumbnail

Das gewichtete Intervall Scheduling

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

Thumbnail Thumbnail

Divide and Conquer - Matrizenmultiplikation - Orakel Ansatz

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

Thumbnail Thumbnail

Greedy-Algorithmen - Huffman-Codes

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

Thumbnail Thumbnail

Algorithmus von Kruskal - Greedy-Algorithmen - Scheduling

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

Thumbnail Thumbnail

Minimale Spannbäume - Algorithmus von Prim

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

Thumbnail Thumbnail

Breitensuche - Dijkstra's Algorithmus

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

Thumbnail Thumbnail

Asymptotik und Laufzeitanalyse

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

Thumbnail Thumbnail

Sample Sort

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

Thumbnail Thumbnail

Vergleichsorientierte Sortierverfahren - Distribution Counting - Radixsort

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

Thumbnail Thumbnail

Quicksort - Mergesort - Vergleichsorientierte Sortierverfahren

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim - Magnus Hörsaal
  • Datum   25.10.2012
  • Beschreibung   Ton ab 15. Minute

Thumbnail Thumbnail

V2 Qicksort - Mergesort - Zufällige Pivotwahl

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

Thumbnail Thumbnail

Bubble Sort und Kollegen

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

Thumbnail Thumbnail

V0 Einführung

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