Berechenbarkeitstheorie und Kreativität

Aus ProgrammingWiki
Archivierte Version vom 2011-03-23T09:15:46+00:00. Aktuelle Version

IIm10

Gruppe 1

Rico Scholz, Stefan Radusch, Martin Schicht, Markus Ullrich

ComputerübungThema
|BuK-Übung 01:Indirekter Beweis; idealisierter Rechner
|BuK-Übung 02:Intuitiver Berechenbarkeitsbegriff
|BuK-Übung 03:Aufzählbarkeit und Entscheidbarkeit
|BuK-Übung 04:Beweis zentraler Sätze
|BuK-Übung 05:Turing-Berechenbarkeit
|BuK-Übung 06:UTM und Gödelisierung
|BuK-Übung 07:TM und Reduktion
|BuK-Übung 08:RAM, LOOP, WHILE, GOTO
|BuK-Übung 09:Lambda-Kalkül
|BuK-Übung 10:Primitiv-rekursive Funktionen
|BuK-Übung 11:μ-rekursive Funktionen
|BuK-Übung 12:...
KreativaufgabeThema
|BuK-Kreativaufgabe 01:keine Kreativaufgabe
|BuK-Kreativaufgabe 02:Hilbertbus
|BuK-Kreativaufgabe 03:Hilbertbus
|BuK-Kreativaufgabe 04:Zeitbeschränkte Prozesse (engines)
|BuK-Kreativaufgabe 05:POSTsches Korrespondenzproblem
|BuK-Kreativaufgabe 06:<m>-Compiler</m>
|BuK-Kreativaufgabe 07:<m>-Compiler</m>
|BuK-Kreativaufgabe 08:s. Übungsaufgaben
|BuK-Kreativaufgabe 09:Fertigstellung CÜ 7
|BuK-Kreativaufgabe 10:Funktionsbaukasten
|BuK-Kreativaufgabe 11:Gödelisierung und μ-rekursive Funktionen
|BuK-Kreativaufgabe 12:...

Gruppe 2

Stefan Bradl, Martin Klemm, Markus Waschke, Steffen Lehmann

ComputerübungThema
|BuK-Übung 01:Indirekter Beweis; idealisierter Rechner
|BuK-Übung 02:Intuitiver Berechenbarkeitsbegriff
|BuK-Übung 03:Aufzählbarkeit und Entscheidbarkeit
|BuK-Übung 04:Beweis zentraler Sätze
|BuK-Übung 05:Turing-Berechenbarkeit
|BuK-Übung 06:UTM und Gödelisierung
|BuK-Übung 07:TM und Reduktion
|BuK-Übung 08:RAM, LOOP, WHILE, GOTO
|BuK-Übung 09:Lambda-Kalkül
|BuK-Übung 10:Primitiv-rekursive Funktionen
|BuK-Übung 11:μ-rekursive Funktionen
|BuK-Übung 12:...
KreativaufgabeThema
|BuK-Kreativaufgabe 01:keine Kreativaufgabe
|BuK-Kreativaufgabe 02:Hilbertbus
|BuK-Kreativaufgabe 03:Hilbertbus
|BuK-Kreativaufgabe 04:Zeitbeschränkte Prozesse (engines)
|BuK-Kreativaufgabe 05:POSTsches Korrespondenzproblem
|BuK-Kreativaufgabe 06:<m>-Compiler</m>
|BuK-Kreativaufgabe 07:<m>-Compiler</m>
|BuK-Kreativaufgabe 08:s. Übungsaufgaben
|BuK-Kreativaufgabe 09:Fertigstellung CÜ 7
|BuK-Kreativaufgabe 10:Funktionsbaukasten
|BuK-Kreativaufgabe 11:Gödelisierung und μ-rekursive Funktionen
|BuK-Kreativaufgabe 12:...