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.
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Di | 16-18 | U5-133 | 08.10.2012-01.02.2013
not on: 10/16/12 / 10/23/12 / 12/25/12 / 1/1/13 |
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Bioinformatik und Genomforschung / Bachelor | (Enrollment until SoSe 2011) | Individueller Ergänzungsber | Wahl | 3. 5. | 3 | unbenotet | |
| Bioinformatik und Genomforschung / Master | (Enrollment until SoSe 2012) | Individueller Ergänzungsb | Wahl | 1. | 3 | unbenotet | |
| Intelligente Systeme / Master | (Enrollment until SoSe 2012) | Individuelle Ergänzung | Wahl | 1. | 3 | unbenotet | |
| Kognitive Informatik / Bachelor | (Enrollment until SoSe 2011) | Individueller Ergänzungsb | Wahl | 3. 5. | 3 | unbenotet | |
| Medieninformatik und Gestaltung / Bachelor | (Enrollment until SoSe 2011) | Individueller Ergänzungs | Wahl | 3. 5. | 3 | unbenotet | |
| Medienwissenschaft, interdisziplinäre / Master | (Enrollment until SoSe 2014) | Hauptmodul 6 | Wahlpflicht | 3 | unbenotet | ||
| Naturwissenschaftliche Informatik / Bachelor | (Enrollment until SoSe 2011) | Individueller Ergänzungsbereic | Wahl | 3. 5. | 3 | unbenotet | |
| Naturwissenschaftliche Informatik / Master | (Enrollment until SoSe 2012) | Individuelle Ergänzung | Wahl | 1. | 3 | unbenotet |
Teilnahme am Seminar, Vortrag aufgrund eines Originalartikels und gute Folien/Ausarbeitung.