BuK/IIm11

Wiki-Quelltext dieser Seite.

== BuK für IIm11 ==

=== Aufgabenübersicht ===
{| border="1" cellpadding="5" cellspacing="0"
!Thema
!Übungsaufgaben
!Studenten
!Kreativaufgabe
!Studenten	
|-
||[[BuK/IIm11/BuK-Übung01|Vorbereitungen]] ||  Indirekter und direkter Beweis, Vollständige Induktion, Funktionen, Mengen || Stefan Scheumann, Robert Rosenberger || - || -
|-
||[[BuK/IIm11/BuK-Übung02|Berechenbarkeitsbegriff]] || Intuitiver Algorithmusbegriff und Cantorsches Diagonalisierungsverfahren 2. Art || Tobias Salzmann, Ronald Krause || [[BuK/IIm11/BuK-KA-Hilbertbus|Der Hilbertbus]] || Jens Heider, Daniel Tasche
|-
||[[BuK/IIm11/BuK-Übung03|Entscheidbarkeit und Aufzählbarkeit]] || Entscheidbarkeitsbegriff, Aufzaehlbarkeit, Semi-Entscheidbarkeit || Christof Ochmann, Ingo Koerner || Schnittmengen-Aufgabe || -
|-
||[[BuK/IIm11/BuK-Übung04|Sätze und Zusammenhänge]] || Zusammenhang Aufzaehlbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion  || Max Wielsch, Raik Bieniek || [[BuK/IIm11/BuK-KA-Zeitbeschränkte-Prozesse|Zeitbeschränkte Prozesse]] || Ronald Krause, Tobias Salzmann
|-
||[[BuK/IIm11/BuK-Übung05|Turing-Berechenbarkeit und Churchsche These]] || Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These || Jens Heider, Daniel Tasche || [[BuK/IIm11/BuK-KA-RADO-Funktion |RADO-Funktion]] || 
|-
|}

=== Playground für Studenten ===

[[BuK/IIm11/Studenten/sirabien|Raik Bieniek]]

[[BuK/IIm11/Studenten/sijeheid|Jens Heider]]

[[BuK/IIm11/Studenten/siinkoer|Ingo Körner]]

[[BuK/IIm11/Studenten/sirokrau|Ronald Krause]]

[[BuK/IIm11/Studenten/sistluet|Stefan Lüttke]]

[[BuK/IIm11/Studenten/sifenits|Felix Nitsche]]

[[BuK/IIm11/Studenten/sichochm|Christof Ochmann]]

[[BuK/IIm11/Studenten/sirorose|Robert Rosenberger]]

[[BuK/IIm11/Studenten/sitosalz|Tobias Salzmann]]

[[BuK/IIm11/Studenten/sistsche|Stefan Scheumann]]

[[BuK/IIm11/Studenten/s3msschm|Matthias Schmidt]]

[[BuK/IIm11/Studenten/sidatasc|Daniel Tasche]]

[[BuK/IIm11/Studenten/simawiel|Max Wielsch]]