Im Seminar geht es um einige Klassiker in der Theoretischen Informatik, die für besondere Aufmerksamkeit sorgten bzw. durch ihre Eleganz bestechen. Einige Themen sind etwa:
- eine polynomelle approximative Lösung für das euklidische TSP
- Approximation des max-SAT durch Zufallsalgorithmen
- Beweise testen, ohne sie zu lesen
- interaktive zero-knowledge Beweise
- nichtdeterministisches Zählen
- Unentscheidbarkeit des zehnten Hilbertschen Problems
...
Die Themenvergabe findet in der ersten Vorlesungswoche statt, der Termin wird noch bekannt gegeben.
| Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum |
|---|
| Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
|---|---|---|---|---|---|---|---|
| Bioinformatik und Genomforschung / Bachelor | (Einschreibung bis SoSe 2011) | Individueller Ergänzungsber | Wahl | 3. 5. | 3 | unbenotet | |
| Bioinformatik und Genomforschung / Master | (Einschreibung bis SoSe 2012) | Individueller Ergänzungsb | Wahl | 1. | 3 | unbenotet | |
| Intelligente Systeme / Master | (Einschreibung bis SoSe 2012) | Individuelle Ergänzung | Wahl | 1. | 3 | unbenotet | |
| Kognitive Informatik / Bachelor | (Einschreibung bis SoSe 2011) | Individueller Ergänzungsb | Wahl | 3. 5. | 3 | unbenotet | |
| Medieninformatik und Gestaltung / Bachelor | (Einschreibung bis SoSe 2011) | Individueller Ergänzungs | Wahl | 3. 5. | 3 | unbenotet | |
| Medienwissenschaft, interdisziplinäre / Master | (Einschreibung bis SoSe 2014) | Hauptmodul 6 | Wahlpflicht | 3 | unbenotet | ||
| Naturwissenschaftliche Informatik / Bachelor | (Einschreibung bis SoSe 2011) | Individueller Ergänzungsbereic | Wahl | 3. 5. | 3 | unbenotet | |
| Naturwissenschaftliche Informatik / Master | (Einschreibung bis SoSe 2012) | Individuelle Ergänzung | Wahl | 1. | 3 | unbenotet |
Teilnahme am Seminar, Vortrag aufgrund eines Originalartikels und gute Folien/Ausarbeitung.