IIm18

Aus ProgrammingWiki
< BuK
Archivierte Version vom 2019-03-25T11:11:33+00:00. Aktuelle Version

Berechenbarkeitstheorie und Kreativität

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 Prozesse?,?
| 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