Theoretische Grundlagen der Informatik Tutorium 12 & 13 KIT WS 2009/2010
SR 301 Geb. 50.34 Do 8:00 Uhr & 9:45 Uhr David Münch muenchdavid at gmail.com
VORSICHT: Die von mir erstellten Folien
können Fehler enthalten! (-> Mail an mich!)
Im Zweifel gilt immer das offizielle Skriptum!
Hier befinden sich die Folien zum Download:
TGdITut1.pdf 29.10.2009 - DEA, NEA, reg. Ausdrücke, Chomsky Typ 3
b1.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut2.pdf 05.11.2009 - Potenzmengenkonstruktion, Automatenminimierung
b2.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut3.pdf 12.11.2009 - Pumping-Lemma, kf. Sprachen, CNF, CYK, PDA
b3.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut4.pdf 19.11.2009 - Pumping-Lemma für kf., Chomsky Typ 1 & 0, Turingmaschine
b4.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut5.pdf 26.11.2009 - Universelle TM, Entscheidbarkeit
b5.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut6.pdf 03.12.2009 - many-one-Reduzierbarkeit, Rekursionssatz
b6.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut7.pdf 10.12.2009 - Prädikatenlogik, Kolmogorov-Komplexität
b7.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut8.pdf 17.12.2009 - Komplexitätstheorie, P, NP
b8.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut9.pdf 08.01.2010 - Wiederholung Komplexitätstheorie, NP-Vollständig
b9.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut10.pdf 14.01.2010 - Wiederholung Tutorium Nr. 9
b9.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut11.pdf 21.01.2010 - weitere Aufgaben zur NP-Vollständigkeit
b10.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut12.pdf 28.01.2010 - Einführung Informationstheorie
b11.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut13.pdf 04.02.2010
b12.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitung
TGdITut14.pdf 11.02.2010
b13.pdf Offizielle Übungsaufgaben mit Lösungen für das Tutorium von der Übungsleitun
Tutorium Ende 11.02.2010.