BuK/IIm11

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

=== Prüfungsplan ===

<div style="float:left; margin-right:1em;">
{| border="1" cellpadding="5" cellspacing="0"
|+ PP, Mi., 04.07.2012 	
! Zeit || Studierender 
|-
| 08:00 || Name, Vorname
|-
| 08:20 || 
|-
| 08:40 || 
|-
| 09:00 || 
|-
| 09:20 || 
|-
| 09:40 || 
|-
| 10:20 || 
|-
| 10:40 || 
|-
| 11:00 || 
|-
| 11:20 || 
|-
| 11:40 || 
|-
| 12:00 || 
|-
|}
</div>

<br />

=== 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 || [[BuK/IIm11/Studenten/sistsche/Kreativaufgabe3 | Schnittmengen-Aufgabe]] || Stefan Scheumann, Robert Rosenberger
|-
||[[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]] || Ronald Krause, Tobias Salzmann, Robert Rosenberger, Stefan Scheumann
|-
||[[BuK/IIm11/BuK-Übung06|UTM,Reduktion,Satz von Rice]] || Reduzierbarkeit und Unentscheidbarkeitsbeweis || Felix Nitsche, Stefan Lüttke || [[BuK/IIm11/BuK-KA-UTM |Universelle Turingmaschine]] || Ronald Krause, Tobias Salzmann, Robert Rosenberger
|-
||[[BuK/IIm11/BuK-Übung07|Gödelisierung]] || Gödelisierung || Stefan Scheumann, Robert Rosenberger || [[BuK/IIm11/BuK-KA-MU |MU-Rätsel]] || Tobias Salzmann, Ronald Krause 
|-
||[[BuK/IIm11/BuK-Übung08|Lambda-Kalkül]] || Alternative Berechnungsmodelle, Der $\lambda$-Kalkül, Registermaschine || Tobias Salzmann, Ronald Krause || [[BuK/IIm11/BuK-KA-RAM-Programm |RAM-Programm]] || Jens Heider, Daniel Tasche, Stefan Scheumann, Robert Rosenberger, Tobias Salzmann, Ronald Krause
|-
||[[BuK/IIm11/BuK-Übung09|Mehrband-Turingmaschine]] || Ackermann-Peter-Funktion || Christof Ochmann, Ingo Körner  || [[BuK/IIm11/BuK-KA-WHILE-COMPILER |WHILE Compiler]] || Ronald Krause, Tobias Salzmann, Robert Rosenberger, Stefan Scheumann
|-
||[[BuK/IIm11/BuK-Übung10|primitiv-rekursive Funktionen]] || Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen || Raik Bieniek, Max Wielsch ||  ||
|-
||[[BuK/IIm11/BuK-Übung11|$\mu$-rekursive Funktionen]] || Lösungen bereits in Vorlesungs-Folien || - || [[BuK/IIm11/BuK-KA-Goedelisierung_und_mu-rekursive_Funktionen |Gödelisierung und $\mu$-rekursive Funktionen]]  || (Robert Rosenberger)
|-
|}

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

Suche
