Aktuelles
Besprechung der eingegangen Aufgaben am 13.08.2015 von 14-16 Uhr in Raum 0.108
Korrektur zu Entscheidbarkeit in AuB am 16.01.2014
Das gezeigt Venndiagramm zur Reduktion war falsch. Die Definition der Abllidung ist wie folgt:
A ⊆ Σ* , B ⊆ Γ* Sprachen. Dann heißt A auf B reduzierbar, falls es eine totale, berechenbarre Funktion f: Σ-> Γ mit x ∈ A f(x) ∈ B. Somit gilt: Falls A ≤ B und B entscheidbar (semi-entscheidbar), so ist auch A entscheidbar (semi-entscheidbar). Das Venndiagramm hat folglich folgende Form:
Vorlesung
Diese Veranstaltung ergänzt die Module Berechenbarkeit und Komplexität, Algorithmen und Berechenbarkeit. Die Veranstaltung gliedert sich in drei Bereiche:
- Wiederholung der Inhalte aus den Vorlesungen und Übungen mit zusätzlichen oder ausführlicheren Erklärungen, sowie Wiederholung wichtiger Themen aus Mathematik und theoretischer Informatik des ersten Semesters
- Ergänzung des Stoffes mit weiterführenden Ergebnissen, alternativen Beweisen, zusätzlichen Beispielen und Verknüpfung mit praktischen Anwendungen
- Hilfe bei Schwierigkeiten mit den Hausübungen
Themenwünsche können per E-Mail an den Dozenten geäußert werden.
Termine und Materialien
Achtung: Die Termine können sich noch ändern!
| Woche | Wann / Wo / Was / Prüfungsrelevanz / Material |
| KW 42 | Do 17.10 17:30-18:00 V38.03 Organisation |
| KW 43 | Do 24.10 17:30-19:00 V38.03 AuB Aufgaben Formelsammlung |
| KW 44 | Do 31.10 17:30-19:00 voraussichtlich Wahrscheinlichkeitstheorie Aufgaben/Formelsammlung folgt noch |
| KW 45 | entfällt |
| KW 46 | Do 14.11 17:30-19:00 V38.03 BuK |
| KW 47 | Do 21.11 17:30-19:00 V38.03 AuB |
| KW 49 | Di 03.12 17:30-19:00 0.457 BuK mu-Rekursion Aufgaben |
| KW 49 | Do 5.12 17:30-19:00 V38.03 AuB dynamisches Programmieren Aufgaben |
| KW 50 | Do 12.12 17:30-19:00 V38.03 BuK Entscheidbarkeit, Reduktionen Aufgaben |
| KW 51 | Do 19.12 17:30-19:00 V38.03 AuB Amortisationsanalyse |
| KW 2 | Do 09.01 17:30-19:00 V38.03 BuK Gödel’scher Satz Aufgaben |
| KW 3 | Do 16.01 17:30-19:00 V38.03 AuB Entscheidbarkeit (wie in KW50/KW2) Aufgaben |
| KW 4 | Do 23.01 17:30-19:00 V38.03 AuB, BuK Komplexitätstheorie Aufgaben |
| KW 5 | Do 30.01 17:30-19:00 V38.03 BuK Rekapitulation Aufgaben |
| KW 6 | Do 06.02 17:30-19:00 V38.03 AuB Entscheidbarkeit/Komplexitätstheorie Aufgaben |
| KW 10 | Fr 07.03 14:00 0.108 AuB (BuK) Prüfungsvorbereitung Formelsammlung |
Literatur
Algorithmik
- Vorlesungssammlung von Jeff Erickson
Berechenbarkeit / Komplexitätstheorie
- Theoretische Informatik - kurzgefasst von Uwe Schöning
- Theoretische Informatik von Dirk W. Hoffmann
Grundwissen (und darüber hinaus)
- Taschenbuch der Mathematik
- Repetitorium der Mathematik
- Logik für Informatiker von Uwe Schöning
Wahrscheinlichkeitstheorie
- Elemente der diskreten Mathematik
- Stochastik: Einführung in die Wahrscheinlichkeitstheorie und Statistik
Haskell