Proseminar: Perlen der Informatik

Algorithmen, Systeme, Sprachen und Theoreme

Prof. Tobias Nipkow

Stefan Berghofer, Gerwin Klein, David von Oheimb,
Leonor Prensa Nieto, Markus Wenzel

Es gibt viele interessante Themen in der Informatik, die im Studium gar nicht, nur unzureichend, oder erst gegen Ende behandelt werden, die aber sowohl wegen ihrer Relevanz als auch wegen der Schönheit der Lösung zu den Perlen zählen. Dies Proseminar möchte Sie gerne mit einigen davon bekannt machen.

Bei den Vorträgen wird viel Wert auf angemessene Präsentation gelegt (siehe auch Tips zur Gestaltung eines Seminarvortrags).

Termine:

Wintersemester 1999/2000, Dienstags 14-16 Uhr, Raum 1546

DatumThema Vortragende(r)Betreuer(in)
2.11.1999 String Searching I   [Ausarbeitung] Sabine Mehlstäubl Prof. Tobias Nipkow
2.11.1999 String Searching II   [Ausarbeitung] Axel Heider Prof. Tobias Nipkow
9.11.1999 Schnelle Multiplikation   [Ausarbeitung] Thomas Knausenberger Gerwin Klein
16.11.1999 Simplex-Algorithmus   [Ausarbeitung] Margret Bauer Leonor Prensa Nieto
23.11.1999 Public Key Verfahren / PGP   [Ausarbeitung] Gunther Klein David von Oheimb
30.11.1999 Earley's Algorithmus Robert Engelhardt Gerwin Klein
7.12.1999 Prolog   [Ausarbeitung] Bertold Meier David von Oheimb
14.12.1999 Garbage Collection (sequentiell)   [Ausarbeitung] Elena Kolodizki Leonor Prensa Nieto
14.12.1999 Garbage Collection (parallell)   [Ausarbeitung] Alexander Freyschmidt Leonor Prensa Nieto
11.1.2000 CTL Model Checking   [Ausarbeitung] Kai Schlüter Stefan Berghofer
11.1.2000 Symbolic Model Checking   [Ausarbeitung] Kasper Valtakari Stefan Berghofer
18.1.2000 Byzantinische Generäle   [Ausarbeitung] Kai Christian Bader David von Oheimb
25.1.2000 CCS Oliver Milz Stefan Berghofer
1.2.2000 Effiziente funktionale Datenstrukturen   [Ausarbeitung] Harald Wenninger Markus Wenzel
1.2.2000 Monaden   [Ausarbeitung] Julian Mehnle Stefan Berghofer
8.2.2000 Presburger Arithmetik Peter Schauer Prof. Tobias Nipkow
15.2.2000 Hilberts 10. Problem   [Ausarbeitung] Visar Januzaj Prof. Tobias Nipkow
22.2.2000 HOL   [Ausarbeitung] Stefan Richter Markus Wenzel