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

Die Übung am Montag 6.DS findet ab jetzt immer in APB/E010 statt!

Die Übungen am Montag und am Dienstag in der 1.DS fallen aus!

Übungen

Folgende Übungsgruppen finden statt:

• 6. DS Montag APB/E010
• 2. DS Dienstag APB/E001
• 1. DS Mittwoch APB/E001
• 6. DS Mittwoch APB/E009
• 1. DS Donnerstag APB/E008
• 1. DS Freitag WIL/C203
• 2. DS Freitag APB/E008
• 3. DS Freitag APB/E006
• 3. DS Freitag SCH/A252
• 5. DS Freitag APB/E010

Übungsblätter

• 1.Übungsblatt
• 2.Übungsblatt
• 3.Übungsblatt
• 4.Übungsblatt

Vorlesung

• Die Vorlesung findet montags in der 3. DS in HSZ02 und donnerstags in der 4. DS in HSZ03 statt (ausser zwischen dem 21.12.2015 und dem 03.01.2016)

Vorlesungsfolien

• Einführung
• Geschichte der Logik
• Aussagenlogik

Weitere Folien

• Aussagenlogik: Ergänzungen 5.11.2015
• Aussagenlogik: Beispiel zum Endlichkeitssatz 5.11.2015

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