IIm18

Aus ProgrammingWiki
< BuK

Berechenbarkeitstheorie und Kreativität


Prüfungsplan

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

Zeit || Studierender
08:00Bachmann, Paul
08:20Müller, Romy
08:40Purschke, Nico
09:00Richter, Daniel
09:20Thies, Johannes
09:40Rolof, Georg
10:00Wittek, Florian
10:20Gawantka, Falko
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