BuK/IIm12/Studenten/siclsche

Wiki-Quelltext dieser Seite.

[[BuK/IIm12/Studenten/siclsche/Thema1| Thema - Vorbereitungen]]

[[BuK/IIm12/Studenten/siclsche/Thema2| Thema - Berechenbarkeitsbegriff]]

[[BuK/IIm12/Studenten/siclsche/Thema3| Thema - Entscheidbarkeit und Aufzählbarkeit]]

[[BuK/IIm12/Studenten/siclsche/Thema4| Thema - Sätze und Zusammenhänge]]

[[BuK/IIm12/Studenten/siclsche/Thema5| Thema - Turing-Berechenbarkeit und Churchsche These]]

[[BuK/IIm12/Studenten/siclsche/Thema6| Thema - UTM, Reduktion,Satz von Rice]]

[[BuK/IIm12/Studenten/siclsche/Thema7| Thema - Alternative Berechnungsmodelle, Der λ-Kalkül, Registermaschine ]]

[[BuK/IIm12/Studenten/siclsche/Thema9| Thema - Mehrband-Turing-Maschine, LOOP-, WHILE- und GOTO-Berechenbarkeit ]]