BuK/IIm12/Studenten/sidahorb

Wiki-Quelltext dieser Seite.

= Übungsaufgaben =

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

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

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

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

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

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

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

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

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

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

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