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

Das 7.Übungsblatt ist online!


  • Hier findet Ihr alle Informationen zu dem Sudoku SAT Wettbewerb!
  • 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


Klausur

Die Klausur findet am 26.2.2019 statt. Die genaue Uhrzeit wird noch bekannt gegeben. Bitte schreiben Sie sich hierfür bei Ihrem Prüfungsamt ein.

Ü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