Universität Heidelberg 20. Oktober 2010 Institut für Informatik Prof ...

Universität Heidelberg 20. Oktober 2010Institut für InformatikProf. Dr. Klaus Ambos-SpiesDipl. Math. Thorsten KrälingProseminar und Seminar Theoretische InformatikProgrammProseminar• 22. November 2010, Beginn 16.15 hNN: Universelle Turingmaschinen, Gödelnummerierungen undder Fixpunktsatz ∗Literatur: Cooper [1], Kapitel 4Johannes Vogt: Rekursiv aufzählbare Mengen und unentscheidbareProbleme ∗Literatur: Cooper [1], Kapitel 5.1-5.3Seminar• 29. November 2010, Beginn 16.15 hSimge Kolburan: Many-one-Reduzierbarkeit ∗∗Literatur: Cooper [1], Kapitel 7.1-7.2Alexander Konrad: Kreative und einfache Mengen ∗∗Literatur: Cooper [1], Kapitel 6.1-6.2 und 7.3• 6. Dezember 2010, Beginn 16.15 hNatalia Andrea Hernandez Vargas: Turing-Reduzierbarkeit undTuring-Grade ∗∗Literatur: Cooper [1], Kapitel 10.1-10.4Azar Tahossein: Die Arithmetische Hierarchie und der Satz vonPost ∗∗Literatur: Cooper [1], Kapitel 10.5

• 13. Dezember 2010, Beginn 16.15 hPinar Toktas: Der Satz von Kleene und Post und FriedbergsJump-Inversion Theorem ∗∗Literatur: Cooper [1], Kapitel 10.6 bis Corollary 10.6.12Kristina Erbert: Inkomparable r.a. Turing-Grade: Der Satz vonFriedberg und Muchnik und die Permitting Methode ∗∗Literatur: Cooper [1], Kapitel 12.3 bis inkl. Corollary 12.3.4• 20. Dezember 2010, Beginn 16.15 hGerrit Schumacher: Sacks’ Splitting Theorem ∗Literatur: Cooper [1], Kapitel 12.4Jens Mayer: Nicht rekursiv aufzählbare Turing-Grade unterhalbvon 0 ′∗Literatur: Cooper [1], Kapitel 12.3 ab Theorem 12.3.6 (+ Grundlagen aus Kapitel 12.1)• 10. Januar 2011, Beginn 16.15 hFirus Darougar: Minimale Paare von r.a. Turing-Graden ∗Literatur: Cooper [1], Kapitel 12.5Jan Gutknecht: Maximale Mengen ∗Literatur: Cooper [1], Kapitel 12.7Literatur:[1] S.B. Cooper: Computability Theory. Chapman & Hall, 2004.Die Monographie von Cooper steht im Semesterapparat der Fakultätsbibliothek(INF 294).Betreuung:• ∗ = Klaus Ambos-Spies (Sprechstunde Mi 11-12 h; INF 294, Raum 015)• ∗∗ = Thorsten Kräling (Sprechstunde Mi 15-16 h; INF 294, Raum 006)Raum: INF 294, Raum -104 (UG)