Alp3 - Aufzeichnung der Vorlesungen

Die Alp3 Vorlesungen dieses Semesters werden in Bild und Ton festgehalten. Zur Vorlesungszeit gibt einen live-stream (250 kbps, Realmedia-Format), nach Ende der Veranstaltung ist der Mittschnitt aus dem Archiv abrufbar (ebenfalls Realmedia).

Um die Aufzeichnung als Datei zu speichern, benötigt ihr den Realplayer PLUS.
Falls ihr keinen Live-Link seht, dann bitte Javascript aktivieren.
Falls euer Browser das Protokoll rtsp: nicht kennt, dann könnt ihr wie folgt vorgehen:

1. Kopiert die Verknüpfung in die Zwischenablage (geht meist mit der rechten Maustaste)
   
2. Startet euren Realplayer manuell. Im Fachbereichsnetz unter Linux geht das mit /usr/local/RealPlayer8/realplay (falls sich der Realplayer nicht starten lässt und z.B. einen segmentation fault als Fehlermeldung ausgibt, dann versucht Folgendes:
• nehmt usr/local/RealPlayer8 in euren Suchpfad auf und startet das Programm mit dem Kommando realplay.
• Löscht folgende Dateien aus eurem Heimatverzeichnis (Man muss sich dann erneut beim Hersteller registrieren):
  
• .RealNetworks_RealMediaSDK_60
  
• .RealNetworks_RealPlayer_60
  
• .RealNetworks_RealShared_00 
3. Wählt im Menu  File->Open Location  und gebt die URL ein, indem ihr sie aus der Zwischenablage kopiert.
4. Ok.

neu!  Alle Videodateien sind nun auch über das Fachbereichsnetz verfügbar. Sie liegen unter:

• /import/realvideo/alp3 (für UNIX. Achtung: die Verzeichnisse unter import werden automatisch gemountet. Man muss also explizit 'cd /import/realvideo' eingeben, damit das Verzeichnis sichtbar wird.)
• \\webdoc\realvideo\alp3 (für Windows)
  

Datum	Inhalt
2003-10-20	Sortieren durch Einfügen, Laufzeit und Speicherbedarf von Algorithmen, Asymptotische Laufzeit, O-Notation. (leider OHNE TON)
2003-10-23	Sortieren durch Auswahl, Bubblesort, Topologisches Sortieren. (mit Ton, aber leider Datei verloren)
2003-10-27	Analyse von Topologischem Sortieren; Mergesort, Quicksort; Analyse von randomisiertem Quicksort, Harmonische Reihe.
2003-10-30	Untere Schranke für die Laufzeit vergleichsbasierter Sortieralgorithmen, Prioritätswarteschlangen, Halden: Definition unf Laufzeit.
2003-11-03 2003-11-03a	Heapsort mit Laufzeit, diskrete Ereignissimulation. (leider in zwei Teilen und mit schlechtem Ton)
2003-11-06	Beispiel für eine Simulation: Schilift. Backtracking-Algorithmen, Beispiel: 8-Damen-Problem.
2003-11-10	Das 8-Damen-Problem in Java und Haskell. Endrekursion.
2003-11-13	End-Rekursive Definition der Fakultät. Analyse von Quicksort und verbessertes Quicksort. Binäre Suchbäume.
2003-11-17	AVL-Bäume: Definition, einfaches und doppeltes Rotieren, Beispiele.
2003-11-20	2-3-Bäume, a-b-Bäume. (leider ohne Ton)
2003-11-24	Sortieren durch Fachverteilung, Radix-Sort, Sortieren von n reellen Zahlen.
2003-11-27	Tische und Stühle. (leider ohne Ton, ohne Professor und ohne Studenten)
2003-12-04	Vorlesung vor dem Roten Rathaus: ein Beweis zu Aufgabe 29b), Präfixkodes, Huffman-Trees (im Windows AVI-Format).
2003-12-11	Präfixkodes, Huffman-Trees, Gute Software, Spezifikationen, abstrakte Datentypen. (leider mit Tonstörungen. ACHTUNG LAUT!)
2003-12-15	Spezifikation einer Menge, Korrektheitsbeweis.
2003-12-18	Algebraische und modellierende Spezifikation. Vollständigkeit und Widerspruchsfreiheit von Axiomen. Strukturelle Induktion.
2004-01-05	Gleichheitsrelation von Termen, Herleitung verschiedener Implementierungen aus einer algebraischen Spezifikation, Java Collection-Framework.
2004-01-08	Java Iterator, Abstraktes Wörterbuchproblem, Templates, Einführung in die Graphentheorie.
2004-01-12	Tiefensuche in Graphen, Breitensuche in Graphen, Kürzester-Wege-Baum. (leider verloren)
2004-01-15	Breitensuche, Kürzeste Wege, Algorithmus von Dijkstra
2004-01-19	Prioritätswarteschlangen mit verkleinere-Schlüssel-Operation, Minimale Spannbäume.
2004-01-22	Algorithmus von Kruskal: Korrektheitsbeweis. String-Matching: Algorithmus von Knuth, Morris & Pratt.
2004-01-26	Die Verschiebefunktion. Digitale Suchbäume (Tries).
2004-01-29	Suffixbäume. Algorithmische Geometrie: Schnittpunkt zweier Geraden.
2004-02-02	Geometrische Algorithmen: Berechnung des Flächeninhalts, Überstreichen der Ebene (plane-sweep).
2004-02-05	Geometrische Algorithmen: konvexe Hülle, das Streckenschnittproblem (leider kein Schlüssel und keine Aufzeichnung).
2004-02-09	Dynamische Speicherverwaltung, Java garbage collection. Modularisierung und Sichtbarkeit.
2004-02-12	Packages in Java, Sichtbarkeit, Eingabe und Ausgabe, Serialisierbarkeit.
2004-02-16	Bewertung von Spielbäumen, alpha-beta-Suche

Anregung, Kritik, Fehlermeldungen bitte an:     zoppke (at) inf