Formale Systeme

Formale Systeme

Course with SWS 4/2/0 (lecture/exercise/practical) in WS 2018

Lecturer

• Steffen Hölldobler

Tutor

• Emmanuelle Dietz
• Johannes Fichte
• Marcos Cramer

SWS

• 4/2/0

Modules

• INF-B-270
• INF-B-275
• INF-LE-EUI
• IST-05-PF-HS

Examination method

• Written exam

Lecture series

• Formale Systeme

• Information
• Literature

Klausur

Die Klausur findet am 30.7.2019 ab 13:00 Uhr in HSZ/AUDI/H statt. Die Klausur wird 90 Minuten dauern. Bitte bereits 15 Minuten vor Beginn (12:45 Uhr) anwesend sein.

• Für die Prüfung gelten folgende Regeln:
  • Es sind keine Unterlagen und Hilfsmittel zugelassen.
  • Aufgrund des technischen Fortschritts sind auch keine Uhren (wie Telefone) am Platz erlaubt
  • Alle müssen ordnungsgemäß für die Klausur angemeldet sein.

Sudoku SAT Wettbewerb

• Hier findet Ihr alle Informationen zu dem Sudoku SAT Wettbewerb! (Update am 17.12.2018 Jetzt mit funktionierendem Link)

• Die erste Vorlesung findet am Montag, den 8.10.2018, in der 3.DS in HSZ/0002 statt
• Die Übungen finden in der zweiten Vorlesungswoche, ab dem 15.10. statt
• Die Konsultationszeiten finden immer mittwochs 14:30 bis 15:30 im Raum APB2008 statt

Vorlesung

Die Vorlesungen finden montags in der 3.DS (HSZ/0002) und donnerstags in der 4.DS (HSZ/0003) statt.

• Teil 1: Die Slides für die Vorlesung sind hier. Der Benutzername ist student und das Passwort wird während der Vorlesung bekannt gegeben.
• Teil 2: Die Slides für die Vorlesung sind hier.

.

Lernräume

In Vorbereitung auf die Klausur wird es folgende Termine für Lernräume geben:

• Dienstag, den 19.02.19, 14-16 Uhr, APB008
• Dienstag, den 19.02.19, 16-18 Uhr, APB009

Übungen

Die Einschreibungen in die Übungsgruppen erfolgt über JExam. Sollten Sie keinen Zugang zu JExam haben schreiben Sie bitte eine kurze Email.

Die folgenden Übungen finden ab der Woche vom 15.10. statt:

• montags, 1.DS (SCH/A252)
• montags, 2.DS (GER/0039)
• dienstags, 5.DS (GER/0039)
• mittwochs, 1.DS (APB/E009)
• donnerstags, 1.DS (APB/E006)
• donnerstags, 5.DS (WIL/C102)
• freitags, 3.DS (REC/D016)

Übungsblätter

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

Der erste Teil der Vorlesung basiert auf die folgenden Bücher:

S. Hölldobler: Logik und Logikprogrammierung. Synchron Publishers GmbH, Heidelberg (2009). ISBN 978-3-935025-84-3 Korrekturen und Anmerkungen zu diesem Buch

S. Hölldobler, S. Bader, B. Fronhöfer, U. Hans, P. Hitzler, M. Krötzsch, T. Pietzsch: : Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen; Synchron Publishers GmbH, Heidelberg (2011). ISBN 978-3-935025-85-0