BuK/IIm12/Studenten/sidahorb

Wiki-Quelltext dieser Seite.

= Übungsaufgaben =

[[BuK/IIm12/Studenten/sidahorb/saetze|Sätze]]

[[BuK/IIm12/Studenten/sidahorb/uebung1|Übung 1 - Vorbereitungen]]

[[BuK/IIm12/Studenten/sidahorb/uebung2|Übung 2 - Berechenbarkeitsbegriff]]

[[BuK/IIm12/Studenten/sidahorb/uebung3|Übung 3 - Entscheidbarkeit und Aufzählbarkeit]]

[[BuK/IIm12/Studenten/sidahorb/uebung4|Übung 4 - Sätze und Zusammenhänge]]

<!--

[[BuK/IIm12/Studenten/sidahorb/uebung5|Übung 5 - Turing-Berechenbarkeit und Churchsche These]]

[[BuK/IIm12/Studenten/sidahorb/uebung6|Übung 6 - UTM,Reduktion,Satz von Rice]]

[[BuK/IIm12/Studenten/sidahorb/uebung7|Übung 7 - Gödelisierung]]

[[BuK/IIm12/Studenten/sidahorb/uebung8|Übung 8 - Lambda-Kalkül]]

[[BuK/IIm12/Studenten/sidahorb/uebung9|Übung 9 - Mehrband-Turingmaschine]]

[[BuK/IIm12/Studenten/sidahorb/uebung10|Übung 10 - primitiv-rekursive Funktionen]]

[[BuK/IIm12/Studenten/sidahorb/uebung11|Übung 11 - $\mu$-rekursive Funktionen]]

-->