IIm18

Aus ProgrammingWiki
< BuK
Archivierte Version vom 2019-06-17T13:28:42+00:00. Aktuelle Version

Berechenbarkeitstheorie und Kreativität


Prüfungsplan

BuK, Fr., 05.07.2019, in GII/105; Prüfung

Zeit || Studierender
08:00Bachmann, Paul
08:20?
08:40?
09:00?
09:20?
09:40Georg Rolof
10:00?
10:20?
10:40?

Aufgabenübersicht

| ThemaÜbungsaufgabenStudentenKreativaufgabeStudenten
| Ausgewählte mathematische GrundlagenDirekter und indirekter Beweis, Vollständige Induktion, Funktionen, Mengen?,?
| BerechenbarkeitsbegriffIntuitiver Algorithmusbegriff und Cantorsches Diagonalisierungsverfahren 2. ArtDaniel Richter, Romy MüllerDer HilbertbusDaniel Richter, Romy Müller
| Entscheidbarkeit und AufzählbarkeitEntscheidbarkeitsbegriff, Aufzählbarkeit, Semi-EntscheidbarkeitDaniel Richter, Romy MüllerSchnittmengen-AufgabeDaniel Richter, Romy Müller
| Sätze und ZusammenhängeZusammenhang Aufzählbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion?,?Zeitbeschränkte ProzesseGeorg Rolof
| Turing-Berechenbarkeit und Churchsche TheseTuring-Maschine als Akzeptator, Turing-Maschine und Churchsche ThesePaul Bachmann, Johannes ThiesRADO-FunktionPaul Bachmann, Johannes Thies
| UTM, Reduktion und Satz von RiceReduzierbarkeit und UnentscheidbarkeitsbeweisFalko GawantkaUniverselle TuringmaschineFalko Gawantka
| GödelisierungGödelisierungNico Purschke, Florian WittekMU-RätselNico Purschke, Florian Wittek
| Lambda-Kalkül, RAMAlternative Berechnungsmodelle, Der λ-Kalkül, RegistermaschinePaul Bachmann, Johannes ThiesRAM-ProgrammPaul Bachmann, Johannes Thies
| LOOP, WHILE und GOTOAckermann-Peter-FunktionGeorg RolofWHILE CompilerGeorg Rolof
| Primitive-rekursive FunktionenTheorie der rekursiven Funktionen, primitiv-rekursive Funktionen?,??,?
| μ-rekursiven FunktionenLösungen bereits in VorlesungsfolienNico Purschke, Florian WittekGödelisierung und μ-rekursive FunktionenNico Purschke, Florian Wittek