Version vom 8. September 2016, 08:56 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

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

@@ Zeile 13: / Zeile 13: @@
 |Description==Klausur im Sommersemester 2016 (Wiederholung)=
-<b>Lernraum: 01.08.2016 15:15 - 16:15 APB 1004</b>
+  * <b> <font color="red">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. </font> </b>
-<!--
-  * <b> <font color="red">Die Einsichtnahme in die Formale System Klausur vom 16.02.2016 findet am Freitag 29.04. um 16:30 Uhr, im Raum 2026 im APB (Andreas-Pfitzmann-Bau / Fakultät Informatik) statt. </font> </b>
- -->
-* Prüfungstermin:
-** 09.08.2016 (08:00 Uhr) (90 Minuten) im HSZ/03/H
-* Es sind keine Unterlagen und Hilfsmittel zugelassen.
-* Aufgrund des technischen Fortschritts sind auch keine Uhren (wie Telefone) am Platz erlaubt.
-<!--
-* Raumzuordnung (nach Nachname bzw. Studiengang)
-**  Nachname (beginnt mit) A bis einschließlich SCH:  HSZ AUDIMAX
-** Alle anderen: HSZ 0003/H
-** Studiengang Mathematik unabhängig vom Nachname(!): HSZ 0003/H
--->
-* Jeder Kandidat muss ordnungsgemäß für die Klausur angemeldet sein.
-* Bitte bereits 10 Minuten vor Beginn (d.h. 7:50 Uhr) im Hörsaal anwesend ist.
+<!--
 == Übungsblätter ==
@@ Zeile 66: / Zeile 51: @@
 * [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/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

Version vom 8. September 2016, 08:56 Uhr

Formale Systeme

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

Klausur im Sommersemester 2016 (Wiederholung)