BuK/IIm14

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

=== Prüfungsplan ===     <!-- Breite, Reichel, Ziener -->
BuK, Mi., 08.07.2015, in GII/105 
{| border="1" cellpadding="5" cellspacing="0"
|+ 
! Zeit || Studierender 
|-
| 08:00 ||  Leuschner, Jens
|-
| 08:20 || Wollstein, Romano
|-
| 08:40 ||  Knoche, Marlene
|-
| 09:00 ||  Zoeke, Robert
|-
| 09:20 ||  Riedel, Robert
|-
| 09:40 ||  PAUSE
|-
| 10:00 || Krause, Andre
|-
| 10:20 || Müssig, Daniel
|-
| 10:40 || Mack, Tobias
|-
| 11:00 ||  Kučera, Adam
|-
| 11:20 ||   Maria, Michel-Suarez
|-
| 11:40 ||  PAUSE
|-
| 12:00 ||  PAUSE
|-
| 12:20 ||  
|-
| 12:40 ||  
|-
| 13:00 ||  
|-
| 13:20 ||  
|-
|}

=== Aufgabenübersicht ===
{| border="1" cellpadding="5" cellspacing="0"
!Thema
!Übungsaufgaben
!Studenten
!Kreativaufgabe
!Studenten	
|-
||[[BuK/IIm14/BuK-Übung01|Vorbereitungen]] ||  Indirekter und direkter Beweis, Vollständige Induktion, Funktionen, Mengen || || - || -
|-
||[[BuK/IIm14/BuK-Übung02|Berechenbarkeitsbegriff]] || Intuitiver Algorithmusbegriff und Cantorsches Diagonalisierungsverfahren 2. Art ||  || [[BuK/IIm14/BuK-KA-Hilbertbus|Der Hilbertbus]] || 
|-
||[[BuK/IIm14/BuK-Übung03|Entscheidbarkeit und Aufzählbarkeit]] || Entscheidbarkeitsbegriff, Aufzählbarkeit, Semi-Entscheidbarkeit || || [[BuK/IIm14/BuK-KA2 | Schnittmengen-Aufgabe]] || 
|-
||[[BuK/IIm14/BuK-Übung04|Sätze und Zusammenhänge]] || Zusammenhang Aufzählbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion  || || [[BuK/IIm14/BuK-KA-Zeitbeschränkte-Prozesse|Zeitbeschränkte Prozesse]] || 
|-
||[[BuK/IIm14/BuK-Übung05|Turing-Berechenbarkeit und Churchsche These]] || Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These ||  || [[BuK/IIm14/BuK-KA-RADO-Funktion |RADO-Funktion]] || 
|-
||[[BuK/IIm14/BuK-Übung06|UTM,Reduktion,Satz von Rice]] || Reduzierbarkeit und Unentscheidbarkeitsbeweis ||  || [[BuK/IIm14/BuK-KA-UTM |Universelle Turingmaschine]] || 
|-
||[[BuK/IIm14/BuK-Übung07|Gödelisierung]] || Gödelisierung || || [[BuK/IIm14/BuK-KA-MU |MU-Rätsel]] || 
|-
||[[BuK/IIm14/BuK-Übung08|Lambda-Kalkül]] || Alternative Berechnungsmodelle, Der $\lambda$-Kalkül, Registermaschine || || [[BuK/IIm14/BuK-KA-RAM-Programm |RAM-Programm]] ||  
|-
||[[BuK/IIm14/BuK-Übung09|Mehrband-Turingmaschine]] || Ackermann-Peter-Funktion ||  || [[BuK/IIm14/BuK-KA-WHILE-COMPILER |WHILE Compiler]] || 
|-
||[[BuK/IIm14/BuK-Übung10|primitiv-rekursive Funktionen]] || Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen ||  ||  ||
|-
||[[BuK/IIm14/BuK-Übung11|$\mu$-rekursive Funktionen]] || Lösungen bereits in Vorlesungsfolien ||  || [[BuK/IIm14/BuK-KA-Goedelisierung_und_mu-rekursive_Funktionen |Gödelisierung und $\mu$-rekursive Funktionen]]  ||
|-
|}

=== Playground für Studenten ===

[[BuK/IIm13/Studenten/simaknoc|Marlene Knoche]]

[[BuK/IIm14/Studenten/s3damues|Daniel Müssig]]

[[BuK/IIm14/Studenten/s3rozoek|Robert Zoeke]]

[[BuK/IIm14/Studenten/s3ankrau1|Andre Krause]]

[[BuK/IIm14/Studenten/s3tomack|Tobias Mack]]

[[BuK/IIm14/Studenten/s3jeleus|Jens Leuschner, Romano Wollstein]]

[[BuK/IIm14/Studenten/s3roried|Robert Riedel]]

[[BuK/IIm14/Studenten/s3mamich|Maria Michel-Suarez]]

[[BuK/IIm14/Studenten/s3adkuce|Adam Kucera]]
BuK/IIm14

Suche
