[TU Dresden]

Theoretische Informatik und Logik

Technische Universität Dresden
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie

Prof. Franz Baader

Modulbeschreibung für die Module INF-D-330 (Diplom-Studiengang Informatik) und INF-B-290 (Bachelor-Studiengang Informatik)

Inhalte und Qualifikationsziele, Voraussetzungen für die Teilnahme, Verwendbarkeit des Moduls sowie Angaben zur Vergabe der Leistungspunkte sind in den Modulbeschreibungen festgehalten:

  • Modulbeschreibung Diplom-Studiengang Informatik

  • Modulbeschreibung Bachelor-Studiengang Informatik

    • Das Modul ist ein Pflichtmodul in beiden Studiengängen. Durch das Modul können 8 Leistungspunkte erworben werden. Die Modulprüfung besteht aus einer Klausurarbeit im Umfang von 90 Minuten. Die Lehrveranstaltung des Moduls wird in einem Stundenumfang von vier SWS Vorlesung und zwei SWS Übung pro Woche angeboten. Alle Termine und Angaben zu den Räumen können dem Stundenplan der Fakultät entnommen werden.

    Informationen zum Beginn der Lehrveranstaltung im SS 2014 am 07.04.2014

    Die erste Vorlesung findet am Montag, den 07.04.2014, in der 2. DS (GÖR/0226), die zweite Vorlesung am Donnerstag, den 10.04.2014, in der 4. DS (HSZ/004) statt. Zu den Modalitäten des Übungsbetriebes (Einschreibpflicht) wird in der ersten Vorlesung informiert. Der Übungsbetrieb beginnt in der 15. Kalenderwoche (erste Lehrveranstaltungswoche des Semesters!). Die Einschreibung in die einzelnen Übungsgruppen erfolgt über jExam und ist verbindlich. Beachtet werden sollte, dass nur die Übungen, die freigeschalten sind, stattfinden.

    Es besteht die Möglichkeit, inhaltliche und organisatorische Fragen zur Lehrveranstaltung innerhalb einer Mailingliste zu diskutieren.

    Lehrmaterial und Vorlesungsfolien

    Vorlesungsunterlagen werden an dieser Stelle aktuell zur Verfügung gestellt, d.h. rechtzeitig vor dem Termin, an dem die Vorlesung gehalten wird.

  • Skript Theoretische Informatik und Logik Teil 1 (pdf)
  • Skript Theoretische Informatik und Logik Teil 1 (Version § 1 bis § 9) (pdf)

  • Vorlesung §1 (pdf)
  • Vorlesung §2 (pdf)
  • Vorlesung §3 (pdf)
  • Vorlesung §4 (pdf)
  • Vorlesung §5 (pdf)
  • Vorlesung §6 (pdf)
  • Vorlesung §7 (pdf)
  • Vorlesung §8 (pdf)
  • Vorlesung §9 (pdf)
  • Vorlesung §10 (pdf)
  • Vorlesung §11 (pdf)
  • Vorlesung §12 (pdf)
  • Vorlesung §13 (pdf)
  • Vorlesung §14 (pdf)
  • Vorlesung §15 (pdf)
  • Vorlesung §16 (pdf)  (Version 04.07.2014)
  • Vorlesung §16 (pdf)  (vollständige Version 10.07.2014)

    Übungsaufgaben

    Übungsaufgaben sind im Vorfeld der jeweiligen Übung auf dieser Seite zu finden und selbstständig auszuarbeiten. In den Übungen erfolgt die Diskussion der studentischen Lösungen. Zur Unterstützung der Übungen werden zusätzliche Repetitorien angeboten. Informationen zur Organisation und zum Inhalt der Repetitorien werden rechtzeitig an dieser Stelle bekanntgegeben.

  • 1. Übungsblatt (pdf)
  • 2. Übungsblatt (pdf)
  • 3. Übungsblatt (pdf)
  • 4. Übungsblatt (pdf)
  • 5. Übungsblatt (pdf)
  • 6. Übungsblatt (pdf)
  • 7. Übungsblatt (pdf)
  • 8. Übungsblatt (pdf)
  • 9. Übungsblatt (pdf)
  • 10. Übungsblatt (pdf)
  • 11. Übungsblatt (pdf)
  • 12. Übungsblatt (pdf)
  • 13. Übungsblatt (pdf)

    Informationen zur Organisation der Prüfungsklausur am 06.03.2015 (Beginn 11.10 Uhr)

  • Die Prüfungsklausur findet für alle Studenten im HSZ/AUDIMAX statt. An der Klausur dürfen NUR Studenten teilnehmen, die auch für diese Prüfung eingeschrieben sind! Es ist zu beachten, dass die Plätze im Hörsaal bis 10 Minuten vor Klausurbeginn, d.h. spätestens bis 11 Uhr, einzunehmen sind.

  • Am 30.04.2015 (Raum APB 3105) erhalten Studenten die Möglichkeit, in die Klausur vom 06.03.2015 Einsicht zu nehmen. Voraussetzung für die Einsichtnahme ist eine Anmeldung.
    Zur Anmeldung

  • Lernräume zur Klausurvorbereitung finden entsprechend der zentralen Ankündigung statt.

    Informationen zur Organisation der Prüfungsklausur am 30.07.2014 (Beginn 13 Uhr)

  • Die Prüfungsklausur findet für alle Studenten im HSZ/AUDIMAX statt. An der Klausur dürfen NUR Studenten teilnehmen, die auch für diese Prüfung eingeschrieben sind! Es ist zu beachten, dass die Plätze im Hörsaal bis 10 Minuten vor Klausurbeginn, d.h. spätestens bis 12.50 Uhr, einzunehmen sind.

  • Am 17.10.2014 (Raum INF 3027) erhalten Studenten die Möglichkeit, in die Klausur vom 30.07.2014 Einsicht zu nehmen. Voraussetzung für die Einsichtnahme ist eine Anmeldung.
    Zur Anmeldung

    Lernräume

    Am 24.07.2014 werden in der Zeit von 11:00 Uhr - 12:30 Uhr in den Räumen INF/E005, INF/E006 und INF/E007 Lernräume angeboten. Die teilnehmenden Studierenden können sich in dieser Zeit auf die Prüfung vorbereiten und bei Bedarf ihre Fragen stellen. Alle drei Lernräume werden betreut.

    Repetitorien

  • Das Repetitorium I findet am 19.06.2014 in der 4. DS (HSZ/004) statt.
  • Aufgabenblatt Repetitorium I (pdf)

  • Das Repetitorium II findet am 10.07.2014 in der 4. DS (HSZ/004) statt.
  • Aufgabenblatt Repetitorium II (pdf)

  • Das Repetitorium III findet am 17.07.2014 in der 4. DS (HSZ/004) statt.
  • Aufgabenblatt Repetitorium III (pdf)

    • Literatur

    Die hier aufgeführte Literatur kann über den WebOPAC der SLUB gefunden werden.

    Letzte Änderung: 25.03.2014, MSturm