BuK/IIm11

Aus ProgrammingWiki
Wiki-Quelltext dieser Seite.
== BuK ==

=== Prüfungsplan ===     
BuK, Mi., 07.11.2018, in GII/105; Testat und Prüfung
{| border="1" cellpadding="5" cellspacing="0"
|+ 
! Zeit || Studierender 
|-
| 12:15 || Skoczek, Tomasz
|-
| 12:45 || Rahmanifirozjaee, Saeed 
|-
| 13:15 || Murugesan, Vidhya Sagar
|-
|}

=== 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 || Weinhold, ? || [[BuK/IIm11/BuK-KA-Hilbertbus|Der Hilbertbus]] || Mauky, ?
|-
||[[BuK/IIm11/BuK-Übung03|Entscheidbarkeit und Aufzählbarkeit]] || Entscheidbarkeitsbegriff, Aufzählbarkeit, Semi-Entscheidbarkeit || Knoche, ? || [[BuK/IIm11/Studenten/sistsche/Kreativaufgabe3 | Schnittmengen-Aufgabe]] || Kunert, Weinhold
|-
||[[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 || Mauky || [[BuK/IIm11/BuK-KA-RADO-Funktion |RADO-Funktion]] || Knoche
|-
||[[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]] || Knoche, ?
|-
||[[BuK/IIm11/BuK-Übung08|Lambda-Kalkül]] || Alternative Berechnungsmodelle, Der $\lambda$-Kalkül, Registermaschine || ?, ?  || [[BuK/IIm11/BuK-KA-RAM-Programm |RAM-Programm]] || Jähne, ? 
|-
||[[BuK/IIm11/BuK-Übung09|Mehrband-Turingmaschine]] || Ackermann-Peter-Funktion || Ziener, Reichel || [[BuK/IIm11/BuK-KA-WHILE-COMPILER |WHILE Compiler]] || Mauky (Ziener, Reichel)
|-
||[[BuK/IIm11/BuK-Übung10|primitiv-rekursive Funktionen]] || Theorie der rekursiven Funktionen, primitiv-rekursive Funktionen || Jähne, ? ||  ||
|-
||[[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/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 für IIm16 ==

[[BuK/IIm16|Seite für IIm16]]
BuK/IIm11

Suche
