Proseminar Algorithmen

Ausarbeitungen und Folien

AutorThemaAusarbeitungFolien
Michael MundingHuffman KodierungHuffmannHuffmann

Michael Optiz

Hannes Beck

Eigenschaften von SAT-Instanzen und deren Berechnung

SATInstProp

SATInstProp
Jan Gugenheimer

Graphdrawing

GraphDraw

GraphDraw

Inhalt

In diesem Proseminar betrachten wir verschiedene Probleme aus der Algorithmik wie zum Beispiel:

  1. Lokale Such-Algorithmen
  2. Algorithmen für das Erfüllbarkeitsproblem
  3. Algorithmen aus der Kryptographie
  4. Algorithmen für die Datenkompression
  5. Algorithmen aus der Künstlichen Intelligenz
  6. Algorithmen aus der Numerik

Verlauf

Kalender-

woche

Verfügbare WochenArbeitsschritt
161Vergabe der Themen und des Materials
17-215Literaturrecherche und Erstellung einer groben Gliederung der Arbeit, dabei können in der Zeit Verständnissprobleme geklärt werden
22-232Erstellung einer feineren Gliederung der Arbeit - stichpunktartig
24-263

Erstellung und Abgabe der Ausarbeitung 

271Korrekturen einbringen
28-292Präsentation vorbereiten
29Vorstellung der Präsentationen

Verantwortung

Adrian Balint

Zeiten:

Vorbesprechungen:

1. 22.04.2010 9:00-10:00 Raum 027-531

2. 22.04.2010 16:00-17:00 Raum 027-531