BuK/IIm10

Wiki-Quelltext dieser Seite.

== IIm10 ==
=== Gruppe 1 ===
Rico Scholz, Stefan Radusch, Martin Schicht, Markus Ullrich
{|
| 
{| border="1" cellpadding="5" cellspacing="0"
!Computerübung
!Thema	
|-
||[[BuK/IIm10/BuK-Übung01_G1|BuK-Übung 01]]: ||  Indirekter Beweis; idealisierter Rechner
|-
||[[BuK/IIm10/BuK-Übung02_G1|BuK-Übung 02]]: || Intuitiver Berechenbarkeitsbegriff
|-
||[[BuK/IIm10/BuK-Übung03_G1|BuK-Übung 03]]: ||  Aufzählbarkeit und Entscheidbarkeit
|-
||[[BuK/IIm10/BuK-Übung04_G1|BuK-Übung 04]]: ||  Beweis zentraler Sätze
|-
||[[BuK/IIm10/BuK-Übung05_G1|BuK-Übung 05]]: ||  Turing-Berechenbarkeit
|-
||[[BuK/IIm10/BuK-Übung06_G1|BuK-Übung 06]]: ||  UTM und Gödelisierung 
|-
||[[BuK/IIm10/BuK-Übung07_G1|BuK-Übung 07]]: ||  TM und Reduktion
|-
||[[BuK/IIm10/BuK-Übung08_G1|BuK-Übung 08]]: ||  RAM, LOOP, WHILE, GOTO
|-
||[[BuK/IIm10/BuK-Übung09_G1|BuK-Übung 09]]: ||  Lambda-Kalkül
|-
||[[BuK/IIm10/BuK-Übung10_G1|BuK-Übung 10]]: ||  Primitiv-rekursive Funktionen
|-
||[[BuK/IIm10/BuK-Übung11_G1|BuK-Übung 11]]: ||  μ-rekursive Funktionen
|-
||[[BuK/IIm10/BuK-Übung12_G1|BuK-Übung 12]]: ||  ...
|-
|}
| 
{| border="1" cellpadding="5" cellspacing="0"
!Kreativaufgabe
!Thema
|-
||[[BuK/IIm10/BuK-Kreativaufgabe01_G1|BuK-Kreativaufgabe 01]]: || keine Kreativaufgabe  
|-
||[[BuK/IIm10/BuK-Kreativaufgabe02_G1|BuK-Kreativaufgabe 02]]: || Hilbertbus 
|-
||[[BuK/IIm10/BuK-Kreativaufgabe03_G1|BuK-Kreativaufgabe 03]]: || Hilbertbus
|-
||[[BuK/IIm10/BuK-Kreativaufgabe04_G1|BuK-Kreativaufgabe 04]]: || Zeitbeschränkte Prozesse (engines)
|-
||[[BuK/IIm10/BuK-Kreativaufgabe05_G1|BuK-Kreativaufgabe 05]]: ||  POSTsches Korrespondenzproblem 
|-
||[[BuK/IIm10/BuK-Kreativaufgabe06_G1|BuK-Kreativaufgabe 06]]: ||  <M>-Compiler
|-
||[[BuK/IIm10/BuK-Kreativaufgabe07_G1|BuK-Kreativaufgabe 07]]: ||  <M>-Compiler  
|-
||[[BuK/IIm10/BuK-Kreativaufgabe08_G1|BuK-Kreativaufgabe 08]]: ||  s. Übungsaufgaben 
|-
||[[BuK/IIm10/BuK-Kreativaufgabe09_G1|BuK-Kreativaufgabe 09]]: ||  Fertigstellung CÜ 7 
|-
||[[BuK/IIm10/BuK-Kreativaufgabe10_G1|BuK-Kreativaufgabe 10]]: ||  Funktionsbaukasten 
|-
||[[BuK/IIm10/BuK-Kreativaufgabe11_G1|BuK-Kreativaufgabe 11]]: ||  Gödelisierung und μ-rekursive Funktionen
|-
||[[BuK/IIm10/BuK-Kreativaufgabe12_G1|BuK-Kreativaufgabe 12]]: ||  ... 
|}
|}

=== Gruppe 2 ===
Stefan Bradl, Martin Klemm, Markus Waschke, Steffen Lehmann
{|
| 
{| border="1" cellpadding="5" cellspacing="0"
!Computerübung
!Thema	
|-
||[[BuK/IIm10/BuK-Übung01_G2|BuK-Übung 01]]: ||  Indirekter Beweis; idealisierter Rechner
|-
||[[BuK/IIm10/BuK-Übung02_G2|BuK-Übung 02]]: || Intuitiver Berechenbarkeitsbegriff
|-
||[[BuK/IIm10/BuK-Übung03_G2|BuK-Übung 03]]: ||  Aufzählbarkeit und Entscheidbarkeit
|-
||[[BuK/IIm10/BuK-Übung04_G2|BuK-Übung 04]]: ||  Beweis zentraler Sätze
|-
||[[BuK/IIm10/BuK-Übung05_G2|BuK-Übung 05]]: ||  Turing-Berechenbarkeit
|-
||[[BuK/IIm10/BuK-Übung06_G2|BuK-Übung 06]]: ||  UTM und Gödelisierung 
|-
||[[BuK/IIm10/BuK-Übung07_G2|BuK-Übung 07]]: ||  TM und Reduktion
|-
||[[BuK/IIm10/BuK-Übung08_G2|BuK-Übung 08]]: ||  RAM, LOOP, WHILE, GOTO
|-
||[[BuK/IIm10/BuK-Übung09_G2|BuK-Übung 09]]: ||  Lambda-Kalkül
|-
||[[BuK/IIm10/BuK-Übung10_G2|BuK-Übung 10]]: ||  Primitiv-rekursive Funktionen
|-
||[[BuK/IIm10/BuK-Übung11_G2|BuK-Übung 11]]: ||  μ-rekursive Funktionen
|-
||[[BuK/IIm10/BuK-Übung12_G2|BuK-Übung 12]]: ||  ...
|-
|}
| 
{| border="1" cellpadding="5" cellspacing="0"
!Kreativaufgabe
!Thema
|-
||[[BuK/IIm10/BuK-Kreativaufgabe01_G2|BuK-Kreativaufgabe 01]]: || keine Kreativaufgabe  
|-
||[[BuK/IIm10/BuK-Kreativaufgabe02_G2|BuK-Kreativaufgabe 02]]: || Hilbertbus 
|-
||[[BuK/IIm10/BuK-Kreativaufgabe03_G2|BuK-Kreativaufgabe 03]]: || Hilbertbus
|-
||[[BuK/IIm10/BuK-Kreativaufgabe04_G2|BuK-Kreativaufgabe 04]]: || Zeitbeschränkte Prozesse (engines)
|-
||[[BuK/IIm10/BuK-Kreativaufgabe05_G2|BuK-Kreativaufgabe 05]]: ||  POSTsches Korrespondenzproblem 
|-
||[[BuK/IIm10/BuK-Kreativaufgabe06_G2|BuK-Kreativaufgabe 06]]: ||  <M>-Compiler
|-
||[[BuK/IIm10/BuK-Kreativaufgabe07_G2|BuK-Kreativaufgabe 07]]: ||  <M>-Compiler  
|-
||[[BuK/IIm10/BuK-Kreativaufgabe08_G2|BuK-Kreativaufgabe 08]]: ||  s. Übungsaufgaben 
|-
||[[BuK/IIm10/BuK-Kreativaufgabe09_G2|BuK-Kreativaufgabe 09]]: ||  Fertigstellung CÜ 7 
|-
||[[BuK/IIm10/BuK-Kreativaufgabe10_G2|BuK-Kreativaufgabe 10]]: ||  Funktionsbaukasten 
|-
||[[BuK/IIm10/BuK-Kreativaufgabe11_G2|BuK-Kreativaufgabe 11]]: ||  Gödelisierung und μ-rekursive Funktionen
|-
||[[BuK/IIm10/BuK-Kreativaufgabe12_G2|BuK-Kreativaufgabe 12]]: ||  ... 
|}
|}