Institute of Theoretical Computer Science

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

LaTeX

Latex - Vorlagen:

  1. für die Ausarbeitung
  2. für die Folien

LaTeX Programme:

  1. Distribution für Windows (Miktex)
  2. LaTeX-Editor für Windows (TeXnicCenter)
  3. Distribution für Linux (Tex Live)
  4. LaTeX-Editor für Linux (Kile)

Unterlagen

  1. Die Folien von der Vorbesprechung
  2. Die Folien zum wissenschaftlichen Arbeiten
  3. weiter Unterlagen zum wissenschaftlichen Arbeiten

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