BuK/IIm12/Studenten/siclsche

Aus ProgrammingWiki

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]]