IIm18
Aus ProgrammingWiki
Archivierte Version vom 2019-03-14T19:58:31+00:00. Aktuelle Version
Berechenbarkeitstheorie und Kreativität
- Vorlesung 1 - Ausgewählte mathematische Grundlagen
- Vorlesung 2 - Berechenbarkeitsbegriff
- Vorlesung 3 - Entscheidbarkeit und Aufzählbarkeit
- Vorlesung 4 - Sätze und Zusammenhänge|IIm18-Vorlesung4
- Vorlesung 5 - Turing-Berechenbarkeit und Churchsche These
- Vorlesung 6 - UTM, Reduktion und Satz von Rice
- Vorlesung 7 - Gödelisierung
- Vorlesung 8 - Lambda-Kalkül, RAM
- Vorlesung 9 - LOOP, WHILE und GOTO
- Vorlesung 10 - Primitive-rekursive Fubktionen
- Vorlesung 11 - μ-rekursiven Funktionen