BuK/IIm11

Aus ProgrammingWiki
Wiki-Quelltext dieser Seite.
== BuK für IIm12 ==

=== Prüfungsplan ===
BuK, Fr., 15.11.2013, in GII/105 
{| border="1" cellpadding="5" cellspacing="0"
|+ 
! Zeit || Studierender 
|-
| 10:00 || Patrick Breite
|-
| 10:20 || 
|-
| 10:40 ||  
|-
| 11:00 ||  
|-
| 11:20 ||  
|-
| 11:40 ||  
|-
| 12:00 ||  
|-
| 12:20 ||  
|-
| 12:40 ||
|-
| 13:00 ||
|-
| 13:20 ||
|-
|}

=== 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 || ?, ? || - || -
|-
||[[BuK/IIm11/BuK-Übung02|Berechenbarkeitsbegriff]] || Intuitiver Algorithmusbegriff und Cantorsches Diagonalisierungsverfahren 2. Art || ?, ? || [[BuK/IIm11/BuK-KA-Hilbertbus|Der Hilbertbus]] || ?, ?
|-
||[[BuK/IIm11/BuK-Übung03|Entscheidbarkeit und Aufzählbarkeit]] || Entscheidbarkeitsbegriff, Aufzählbarkeit, Semi-Entscheidbarkeit || Kunert, ? || [[BuK/IIm11/Studenten/sistsche/Kreativaufgabe3 | Schnittmengen-Aufgabe]] || Kunert, ?
|-
||[[BuK/IIm11/BuK-Übung04|Sätze und Zusammenhänge]] || Zusammenhang Aufzählbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion  || Breite, Zwierz || [[BuK/IIm11/BuK-KA-Zeitbeschränkte-Prozesse|Zeitbeschränkte Prozesse]] || Breite, Zwierz
|-
||[[BuK/IIm11/BuK-Übung05|Turing-Berechenbarkeit und Churchsche These]] || Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These || Klahre, Scheffler, Steglich || [[BuK/IIm11/BuK-KA-RADO-Funktion |RADO-Funktion]] || Klahre, Scheffler, Steglich
|-
||[[BuK/IIm11/BuK-Übung06|UTM,Reduktion,Satz von Rice]] || Reduzierbarkeit und Unentscheidbarkeitsbeweis || Deutschmann, Horbach || [[BuK/IIm11/BuK-KA-UTM |Universelle Turingmaschine]] || Deutschmann, Horbach
|-
||[[BuK/IIm11/BuK-Übung07|Gödelisierung]] || Gödelisierung || ?, ? || [[BuK/IIm11/BuK-KA-MU |MU-Rätsel]] || ?, ?
|-
||[[BuK/IIm11/BuK-Übung08|Lambda-Kalkül]] || Alternative Berechnungsmodelle, Der $\lambda$-Kalkül, Registermaschine || ?, ?  || [[BuK/IIm11/BuK-KA-RAM-Programm |RAM-Programm]] || ?, ? 
|-
||[[BuK/IIm11/BuK-Übung09|Mehrband-Turingmaschine]] || Ackermann-Peter-Funktion || Ziener, Reichel || [[BuK/IIm11/BuK-KA-WHILE-COMPILER |WHILE Compiler]] || Ziener, Reichel
|-
||[[BuK/IIm11/BuK-Übung10|primitiv-rekursive Funktionen]] || Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen || ?, ? ||  ||
|-
||[[BuK/IIm11/BuK-Übung11|$\mu$-rekursive Funktionen]] || Lösungen bereits in Vorlesungsfolien || ?, = || [[BuK/IIm11/BuK-KA-Goedelisierung_und_mu-rekursive_Funktionen |Gödelisierung und $\mu$-rekursive Funktionen]]  || ?, ?
|-
|}

=== Playground für Studenten ===
[[BuK/IIm12/Studenten/sifedeut|Felix Deutschmann]]

[[BuK/IIm12/Studenten/sidahorb|Daniel Horbach]]

[[BuK/IIm12/Studenten/siclsche|Klahre, Steglich, Scheffler]]

[[BuK/IIm12/Studenten/sihekune|Hendrik Kunert]]

[[BuK/IIm12/Studenten/simareic|Mario Reichel, Mark Ziener]]

<!--
[[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]]
-->
BuK/IIm11

Suche
