Wintersemester 2008/2009
Prof. Dr. (USA) M. Dietzfelbinger

[Mitteilungen] [Inhalte] [Termine] [Scheinerhalt] [Literatur] [Materialien]

Mitteilungen

Inhalte

Termine

Vorlesung:  Montag, 9:00 - 10:30 Uhr , R-Hs

Übungen: 

Kriterien für den Scheinerhalt

Literatur und Links

Materialien und Übungsblätter

Skript     1. Teil       2. Teil    Ergänzung zum Skript: Weitere Reduktionen (Prüfungsrelevant nur Seiten 175-180)

Folien zur Vorlesung vom 13.10.2008 Druckversion Blätterversion

Folien zur Vorlesung vom 20.10.2008 Druckversion Blätterversion

Folien zur Vorlesung vom 27.10.2008 Druckversion Blätterversion

Folien zur Vorlesung vom 03.11.2008 Druckversion Blätterversion

Folien zur Vorlesung vom 10.11.2008 Druckversion Blätterversion

Folien zur Vorlesung vom 17.11.2008 Druckversion Blätterversion

Folien zur Vorlesung vom 24.11.2008 Druckversion Blätterversion

Folien zur Vorlesung vom 01.12.2008 Druckversion Blätterversion

Folien zur Vorlesung vom 08.12.2008 Druckversion Blätterversion

Folien zur Vorlesung vom 15.12.2008 Druckversion Blätterversion

Folien zur Vorlesung vom 05.01.2009 Druckversion Blätterversion

Folien zur Vorlesung vom 12.01.2009 Druckversion Blätterversion

Folien zur Vorlesung vom 19.01.2009 Druckversion Blätterversion

Folien zur Vorlesung vom 26.01.2009 Druckversion Blätterversion

Folien zur Vorlesung vom 02.02.2009 Druckversion Blätterversion

Übungsblätter

• Übungsblatt 1
  Abzählbare und überabzählbare Mengen, Cantorsches Diagonalisierungsverfahren, Entscheidungsprobleme als Sprachen
  
  
• Übungsblatt 2
  RAM-Programme, Turing-Maschinen

• Übungsblatt 3
  TuringMaschinen, RAM-berechenbare Funktion

• Übungsblatt 4
  nichtdeterministische Turingmaschinen, Simulation, Abschlusseigenschaften, Binärer Befehle

• Übungsblatt 5
  
  

• Übungsblatt 6

• Übungsblatt 7

Klausur