Formale Systeme

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Formale Systeme

Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in WS 2018

Dozent

Tutor

Umfang (SWS)

  • 4/2/0

Module

Leistungskontrolle

  • Klausur
Es findet am 23.7.2019 von 15:00 bis 16:30 in APB/E006 ein Lernraum statt.

Klausur

Die Klausur findet am 30.7.2019 ab 13:00 Uhr statt. 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

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