Formale Systeme

Formale Systeme

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

Dozent

• Steffen Hölldobler

Tutor

• Emmanuelle Dietz
• Tobias Philipp
• Peter Steinke

Umfang (SWS)

• 4/2/0

Module

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

Leistungskontrolle

• Klausur

• Information
• Literatur

Klausur im Sommersemester 2016 (Wiederholung)

* Die Einsichtnahme in die Formale System Klausur vom 09.08.2016 findet am Montag 17.10.2016 um 15:00 Uhr , im Raum 2026 im APB (Andreas-Pfitzmann-Bau / Fakultät Informatik) statt.

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