Version vom 7. November 2015, 10:02 Uhr

Formale Systeme

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

Dozent

Steffen Hölldobler

Tutor

Umfang (SWS)

4/2/0

Module

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

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

Weitere Folien

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

@@ Zeile 53: / Zeile 53: @@
 * [https://ddll.inf.tu-dresden.de/w/images/0/04/Al_ergaenzung.pdf Aussagenlogik: Ergänzungen 5.11.2015]
-* [https://ddll.inf.tu-dresden.de/w/images/8/8d/Beispiel_endlichkeitssatz.pdf Aussagenlogik: Beispiel zum Endlichkeitssatz 5.11.2015]
+* [https://ddll.inf.tu-dresden.de/w/images/5/54/Beispiel_endlichkeitssatz.pdf Aussagenlogik: Beispiel zum Endlichkeitssatz 5.11.2015]
 |Literature=Der erste Teil der Vorlesung basiert auf die folgenden Bücher:

Formale Systeme(WS2015): Unterschied zwischen den Versionen