BuK/IIm16

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

=== Prüfungsplan ===     <!-- Breite, Reichel, Ziener -->
BuK,  ????
{| border="1" cellpadding="5" cellspacing="0"
|+ 
! Zeit || Studierender 
|-
| 08:00 || 
|-
| 08:20 || 
|-
| 08:40 || ?
|-
| 09:00 ||  
|-
| 09:20 ||  
|-
| 09:40 ||  PAUSE
|-
| 10:00 || 
|-
| 10:20 || 
|-
| 10:40 ||  
|-
| 11:00 ||  
|-
| 11: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 || Chernel, ? || [[BuK/IIm11/BuK-KA-Hilbertbus|Der Hilbertbus]] || Chernel, ?
|-
||[[BuK/IIm11/BuK-Übung03|Entscheidbarkeit und Aufzählbarkeit]] || Entscheidbarkeitsbegriff, Aufzählbarkeit, Semi-Entscheidbarkeit || Strehler || [[BuK/IIm11/Studenten/sistsche/Kreativaufgabe3 | Schnittmengen-Aufgabe]] || Strehler
|-
||[[BuK/IIm11/BuK-Übung04|Sätze und Zusammenhänge]] || Zusammenhang Aufzählbarkeit und Semi-Entscheidbarkeit, Umkehrfunktion Cantorsche Paarungsfunktion  || Balderas || [[BuK/IIm11/BuK-KA-Zeitbeschränkte-Prozesse|Zeitbeschränkte Prozesse]] || Balderas
|-
||[[BuK/IIm11/BuK-Übung05|Turing-Berechenbarkeit und Churchsche These]] || Turing-Maschine als Akzeptator, Turing-Maschine und Churchsche These || Kretschmer || [[BuK/IIm11/BuK-KA-RADO-Funktion |RADO-Funktion]] || Kretschmer
|-
||[[BuK/IIm11/BuK-Übung06|UTM,Reduktion,Satz von Rice]] || Reduzierbarkeit und Unentscheidbarkeitsbeweis || Skoczek || [[BuK/IIm11/BuK-KA-UTM |Universelle Turingmaschine]] || Skoczek
|-
||[[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 || ?, ? || [[BuK/IIm11/BuK-KA-WHILE-COMPILER |WHILE Compiler]] || ?, ?
|-
||[[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/IIm12/Studenten/s3erjaeh|Erik Jähne]]

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

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

-->
BuK/IIm16

Suche
