IIm10

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

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
BuK-Kreativaufgabe 07:	<M>-Compiler
BuK-Kreativaufgabe 08:	s. Übungsaufgaben
BuK-Kreativaufgabe 09:	Fertigstellung CÜ 7
BuK-Kreativaufgabe 10:	Funktionsbaukasten
BuK-Kreativaufgabe 11:	Gödelisierung und μ-rekursive Funktionen

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
BuK-Kreativaufgabe 07:	<M>-Compiler
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:	...