Berechenbarkeitstheorie und Kreativität

Aus ProgrammingWiki

IIm10

Gruppe 1

Rico Scholz, Stefan Radusch, Martin Schicht, Markus Ullrich

Computerübung	Thema
\|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:	...

Kreativaufgabe	Thema
\|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übung	Thema
\|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:	...

Kreativaufgabe	Thema
\|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:	...

Suche