BuK/IIm18

Aus ProgrammingWiki
Wiki-Quelltext dieser Seite.
== Berechenbarkeitstheorie und Kreativität ==


=== Prüfungsplan ===     
BuK, Fr., 05.07.2019, in GII/105; Prüfung
{| border="1" cellpadding="5" cellspacing="0"
|+ 
! Zeit  || Studierender 
|-
| 08:00 || Bachmann, Paul
|-
| 08:20 || Müller, Romy 
|-
| 08:40 || Purschke, Nico
|-
| 09:00 || Richter, Daniel 
|-
| 09:20 || Thies, Johannes
|-
| 09:40 || Rolof, Georg
|-
| 10:00 || Wittek, Florian
|-
| 10:20 || Gawantka, Falko 
|-
| 10:40 || 
|-
|}

=== 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 || Daniel Richter, Romy Müller || [[IIm18-Kreativaufgabe1|Der Hilbertbus]] || Daniel Richter, Romy Müller
|-
|| [[BuK/IIm18/Vorlesung3|Entscheidbarkeit und Aufzählbarkeit]] || Entscheidbarkeitsbegriff, Aufzählbarkeit, Semi-Entscheidbarkeit || Daniel Richter, Romy Müller || [[IIm18-Kreativaufgabe2|Schnittmengen-Aufgabe]] || Daniel Richter, Romy Müller
|-
|| [[BuK/IIm18/Vorlesung4|Sätze und Zusammenhänge]] || Zusammenhang Aufzählbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion || ?,? || [[IIm18-Kreativaufgabe3|Zeitbeschränkte Prozesse]] || Georg Rolof
|-
|| [[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 || Falko Gawantka || [[IIm18-Kreativaufgabe5|Universelle Turingmaschine]] || Falko Gawantka
|-
|| [[BuK/IIm18/Vorlesung7|Gödelisierung]] || Gödelisierung || Nico Purschke, Florian Wittek || [[BuK/IIm18/IIm18-Kreativaufgabe6|MU-Rätsel]] || Nico Purschke, Florian Wittek
|-
|| [[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 || Nico Purschke, Florian Wittek || [[BuK/IIm18/IIm18-Kreativaufgabe9|Gödelisierung und μ-rekursive Funktionen]] || Nico Purschke, Florian Wittek
|-
|}
BuK/IIm18

Suche
