BuK/IIm18

Wiki-Quelltext dieser Seite.

== Berechenbarkeitstheorie und Kreativität ==

=== Aufgabenübersicht ===

{| border="1" cellpadding="5" cellspacing="0"
|-
|| '''Thema''' || '''Übungsaufgaben''' || '''Studenten''' || '''Kreativaufgabe''' || '''Studenten'''
|-
|| [[BuK/IIm18/Vorlesung1|Ausgewählte mathematische Grundlagen]] || Direkter und indirekter Beweis, Vollständige Induktion, Funktionen, Mengen || ?,? ||  || 
|-
|| [[BuK/IIm18/Vorlesung2|Berechenbarkeitsbegriff]]|| Intuitiver Algorithmusbegriff und Cantorsches Diagonalisierungsverfahren 2. Art || ?,? || [[IIm18-Kreativaufgabe1|Der Hilbertbus]] || ?,?
|-
|| [[BuK/IIm18/Vorlesung3|Entscheidbarkeit und Aufzählbarkeit]] || Entscheidbarkeitsbegriff, Aufzählbarkeit, Semi-Entscheidbarkeit || ?,? || [[IIm18-Kreativaufgabe2|Schnittmengen-Aufgabe]] || ?,?
|-
|| [[BuK/IIm18/Vorlesung4|Sätze und Zusammenhänge]] || Zusammenhang Aufzählbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion || ?,? || [[IIm18-Kreativaufgabe3|Zeitbeschränkte Prozesse]] || ?,?
|-
|| [[BuK/IIm18/Vorlesung5|Turing-Berechenbarkeit und Churchsche These]] || Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These || Paul Bachmann, Johannes Thies || [[IIm18-Kreativaufgabe4|RADO-Funktion]] || Paul Bachmann, Johannes Thies
|-
|| [[BuK/IIm18/Vorlesung6|UTM, Reduktion und Satz von Rice]] || Reduzierbarkeit und Unentscheidbarkeitsbeweis || ?,? || [[IIm18-Kreativaufgabe5|Universelle Turingmaschine]] || ?,?
|-
|| [[BuK/IIm18/Vorlesung7|Gödelisierung]] || Gödelisierung || ?,? || [[IIm18-Kreativaufgabe6|MU-Rätsel]] || ?,?
|-
|| [[BuK/IIm18/Vorlesung8|Lambda-Kalkül, RAM]] || Alternative Berechnungsmodelle, Der λ-Kalkül, Registermaschine || Paul Bachmann, Johannes Thies || [[IIm18-Kreativaufgabe7|RAM-Programm]] || Paul Bachmann, Johannes Thies
|-
|| [[BuK/IIm18/Vorlesung9|LOOP, WHILE und GOTO]] || Ackermann-Peter-Funktion || Georg Rolof || [[IIm18-Kreativaufgabe8|WHILE Compiler]] || Georg Rolof
|-
|| [[BuK/IIm18/Vorlesung10|Primitive-rekursive Funktionen]] || Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen || ?,? ||  || ?,?
|-
|| [[BuK/IIm18/Vorlesung11|μ-rekursiven Funktionen]] || Lösungen bereits in Vorlesungsfolien || ?,? || [[IIm18-Kreativaufgabe10|Gödelisierung und μ-rekursive Funktionen]] || ?,?
|-
|}