IIm11
Aus ProgrammingWiki
Archivierte Version vom 2012-03-28T10:52:06+00:00. Aktuelle Version
BuK für IIm11
Aufgabenübersicht
| Thema | Übungsaufgaben | Studenten | Kreativaufgabe | Studenten |
|---|---|---|---|---|
| |Vorbereitungen | Indirekter und direkter Beweis, Vollständige Induktion, Funktionen, Mengen | Stefan Scheumann, Robert Rosenberger | - | - |
| |Berechenbarkeitsbegriff | Intuitiver Algorithmusbegriff und Cantorsches Diagonalisierungsverfahren 2. Art | Tobias Salzmann, Ronald Krause | Der Hilbertbus | - |
| |Entscheidbarkeit und Aufzählbarkeit | Entscheidbarkeitsbegriff, Aufzaehlbarkeit, Semi-Entscheidbarkeit | Christof Ochmann, Ingo Koerner | Schnittmengen-Aufgabe | - |