Institut für Theoretische Informatik

1: Lehre.
- 1.1: Vorlesungen.
- 1.2: Projekte.
- 1.3: Seminare.
- 1.4: Proseminare.
- 1.5: Promotionskolleg.
- 1.6: Abschlussarbeiten.
- 1.7: Diplomandenseminar.
- 1.8: Archiv.
  - 1.8.1: WS 2011/2012.
  - 1.8.2: SS 2011.
  - 1.8.3: WS 2010/2011.
  - 1.8.4: SoSe 2010.
  - 1.8.5: WS 2009/2010.
    - 1.8.5.1: Seminar Algorithmische Geometrie.
    - 1.8.5.2: Proseminar Algorithmen.
    - 1.8.5.3: Praktikum: Datenkompression.
    - 1.8.5.4: Kryptographie Projekt / Praktikum SS09.
    - 1.8.5.5: SAT-Solving.
    - 1.8.5.6: Einführung in die Bioinformatik.
    - 1.8.5.7: Höhere Algorithmik.
    - 1.8.5.8: Formale Grundlagen der Informatik.
    - 1.8.5.9: Algorithmen und Datenstrukturen.
    - 1.8.5.10: Highlights der Theoretischen Informatik.
    - 1.8.5.11: Algorithmen zur Sequenzanalyse.
  - 1.8.6: SoSe 2009.
  - 1.8.7: WS 2008/2009.
  - 1.8.8: SoSe 2008.
  - 1.8.9: WS 2007/2008.
2: Forschung.
3: TheorieTag.
4: Mitarbeiter.
5: Adresse.
6: Intern.
7: Impressum.

Proseminar Algorithmen

Ausarbeitungen und Folien

Autor	Thema	Ausarbeitung	Folien
Paul Steinhilber Thomas Haselbeck	Das SAT-Problem und die GSAT Algorithmen	GSAT	GSAT
Robert Renz Daniel Gall Gregor Kapler	WalkSAT Algorithmen	WalkSAT	WalkSAT EDACC
Simon Gerber Daniel Diepold	G2WSAT Algorithmen	G2WSAT	G2WSAT EDACC
Morady Ardavan	Dynamische Lokale Suche	DLS	DLS
Manuel Bernhard	Survey Propagation Algorithmen	SP	SP
Mathias Lenga	Delaunay Triangulation	DT	DT
Katharina Meyr Natalie Lang	Lokale Suche in der künstlichen Intelligenz	KILS	KILS
Michael Grönert Sören Graf	Swarm Algorithmen	SW	SW SW+videos
Leonhard Martin	Memetische Algorithmen	MA	MA
Daniel Friedrich Rainer Schaden	AES Algorithmus	AES	AES
Tamara Barner	RSA Algorithmus	RSA	RSA
Andreas Fröhlich	Sparrow		Sparrow

Inhalt

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

Lokale Such Algorithmen
Algorithmen für das Erfüllbarkeitsproblem
Algorithmen aus der Kryptographie
Algorithmen für die Datenkompression
Algorithmen aus der Künstlichen Intelligenz
Algorithmen aus der Numerik

Verlauf

Semester- woche	Verfügbare Wochen	Arbeitsschritt
1	1	Vergabe der Themen und des Materials
2-7	6	Literaturrecherche und Erstellung einer groben Gliederung der Arbeit, dabei können in der Zeit Verständnissprobleme geklärt werden
8-9	2	Erstellung einer feieneren Gliederung der Arbeit - stichpunktartig
10-13	4	Erstellung und Abgabe der Ausarbeitung
14	1	Korrekturen einbringen
15-16	2	Präsentation vorbereiten
16		Vorstellung der Präsentationen

LaTeX

Latex - Vorlagen:

LaTeX Programme:

Unterlagen

Verantwortung

Zeiten:

Vorbesprechungen:

1. 15.10.2009 14:00-16:00 Raum 027-531

2. 15.10.2009 16:00-18:00 Raum 027-531