BuK/IIm18

Wiki-Quelltext dieser Seite.

== Berechenbarkeitstheorie und Kreativität ==

* [[IIm18-Vorlesung1|Vorlesung 1 - Ausgewählte mathematische Grundlagen]]
* [[IIm18-Vorlesung2|Vorlesung 2 - Berechenbarkeitsbegriff]]
* [[IIm18-Vorlesung3|Vorlesung 3 - Entscheidbarkeit und Aufzählbarkeit]]
* [[IIm18-Vorlesung4|Vorlesung 4 - Sätze und Zusammenhänge|IIm18-Vorlesung4]]
* [[IIm18-Vorlesung5|Vorlesung 5 - Turing-Berechenbarkeit und Churchsche These]]
* [[IIm18-Vorlesung6|Vorlesung 6 - UTM, Reduktion und Satz von Rice]]
* [[IIm18-Vorlesung7|Vorlesung 7 - Gödelisierung]]
* [[IIm18-Vorlesung8|Vorlesung 8 - Lambda-Kalkül, RAM]]
* [[IIm18-Vorlesung9|Vorlesung 9 - LOOP, WHILE und GOTO]]
* [[IIm18-Vorlesung10|Vorlesung 10 - Primitive-rekursive Fubktionen]]
* [[IIm18-Vorlesung11|Vorlesung 11 - μ-rekursiven Funktionen]]