Zur Startseite der Abteilung Theoretische Informatik

Ergänzungen zu Logik und Diskrete Strukturen (WS 2011/12)

Prüfungsvorbereitung

Dies betrifft in der Regel nur die Wiederholer, nicht die Erstsemester: Vor der Prüfungsklausur am 28.03. findet am Do 22.03.2012 von 14.00 Uhr bis 15.30 Uhr in 0.124 eine Fragestunde statt. Hier können Sie letzte Verständnisprobleme und Unklarheiten beseitigen.

Vorlesung

Jürn Laun

Diese Veranstaltung ergänzt die Vorlesung "Logik und Diskrete Strukturen" im Modul "Theoretische Grundlagen der Informatik". 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

ZeitRaumTermine
Fr  14:00–15:30 V38.01 Wöchentlich vom 21.10. bis 10.02.

Ausnahmen:
• am 23.12., 30.12. und 06.01. ist vorlesungsfrei
• am 10.02. verlegt in Raum V38.04

Materialien

Hier finden Sie die Materialien zu den Vorlesungen. Beachten Sie, dass diese kein eigenständiges Skript und keine Übungsblätter darstellen und nur im Zusammenhang mit der Vorlesung Sinn ergeben.

Fragestunde und Hilfe bei Hausübungen

Jürn Laun und Michael Ludwig

Sollten Sie über die Ergänzungsvorlesungen hinaus Fragen haben oder individuelle Hilfestellungen beim Bewältigen des Vorlesungsstoffes oder bei den Hausübungen brauchen, können Sie die Fragestunde besuchen.

Termine

ZeitRaumTermine
Mo 17:30–19:00 0.453 31.10. 14.11. 28.11. 12.12. (weitere nach Vereinbarung)

Bitte geben Sie per E-Mail Bescheid, wenn Sie zur Sprechstunde kommen möchten, aber nicht gleich zu Beginn da sein können. Bei geringem Andrang wird die Sprechstunde sonst möglicherweise schon vor 19:00 Uhr beendet.

Links

  • Vorlesung Logik und Diskrete Strukturen
    (erste Hälfte des Moduls "Theoretische Grundlagen der Informatik")
  • Prüfungsklausuren aus früheren Jahrgängen - teilweise mit Lösungsvorschlägen - finden Sie hier und hier.
  • Die Prüfungstermine, beispielweise für die Modulprüfung "Theoretische Grundlagen der Informatik", finden Sie beim Prüfungsamt.

Literatur

Ein – teils kommentiertes – Literaturverzeichnis zu den jeweils behandelten Themen finden Sie in den Materialien zur Vorlesung.