Formale Systeme(WS2015): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Christoph Wernhard (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Maximilian Marx (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (81 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt) | |||
| Zeile 6: | Zeile 6: | ||
|Term=WS | |Term=WS | ||
|Year=2015 | |Year=2015 | ||
|Lecture series=Formale Systeme | |||
|Module=INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS | |Module=INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS | ||
|SWSLecture=4 | |SWSLecture=4 | ||
| Zeile 11: | Zeile 12: | ||
|SWSPractical=0 | |SWSPractical=0 | ||
|Exam type=Klausur | |Exam type=Klausur | ||
|Description=< | |Description=<!-- | ||
=Klausur im Sommersemester 2016 (Wiederholung)= | |||
== Klausureinsicht == | |||
<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. Ein amtlicher Lichtbildausweis ist mitzubringen.</font> | |||
== Übungsblätter == | == Übungsblätter == | ||
* [https:// | * [https://iccl.inf.tu-dresden.de/w/images/b/b2/Fs_01.pdf 1.Übungsblatt] | ||
* [https:// | * [https://iccl.inf.tu-dresden.de/w/images/d/d5/Fs_02.pdf 2.Übungsblatt] | ||
* [https:// | * [https://iccl.inf.tu-dresden.de/w/images/f/fa/Fs_03.pdf 3.Übungsblatt] | ||
* [https:// | * [https://iccl.inf.tu-dresden.de/w/images/3/3c/Fs_04.pdf 4.Übungsblatt] | ||
* [https://iccl.inf.tu-dresden.de/w/images/f/f8/Fs_05.pdf 5.Übungsblatt] | |||
* [https://iccl.inf.tu-dresden.de/w/images/d/d4/Fs_06.pdf 6.Übungsblatt] | |||
* [https://iccl.inf.tu-dresden.de/w/images/b/b6/Fs_07.pdf 7.Übungsblatt] | |||
* [https://iccl.inf.tu-dresden.de/w/images/4/4e/Fs_08.pdf 8.Übungsblatt] | |||
* [https://iccl.inf.tu-dresden.de/w/images/7/7e/Fs_09.pdf 9. Übungsblatt] | |||
* [https://iccl.inf.tu-dresden.de/w/images/1/17/Fs_10.pdf 10. Übungsblatt] | |||
* [https://iccl.inf.tu-dresden.de/w/images/d/d5/Fs_11.pdf 11.Übungsblatt] | |||
* [https://iccl.inf.tu-dresden.de/w/images/d/db/Fs_12.pdf 12.Übungsblatt] | |||
* [https://iccl.inf.tu-dresden.de/w/images/c/cd/Fs_13.pdf 13.Übungsblatt] | |||
* [https://iccl.inf.tu-dresden.de/w/images/b/bf/Fs_14.pdf 14.Übungsblatt] | |||
=Vorlesung= | =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) | * 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 == | == Vorlesungsfolien == | ||
* [https:// | * [https://iccl.inf.tu-dresden.de/w/images/5/5d/FS-2015-einf%C3%BChrung.pdf Einführung] | ||
* [https:// | * [https://iccl.inf.tu-dresden.de/w/images/c/c4/FS-2015-geschichte.pdf Geschichte der Logik] | ||
* [https:// | * [https://iccl.inf.tu-dresden.de/w/images/c/cc/FS-2015-aussagenlogik.pdf Aussagenlogik] | ||
* [https://lat.inf.tu-dresden.de/teaching/ws2010-2011/Bachelor/script.pdf Prof. Dr.-Ing. Franz Baader: Formale Systeme, Teil 1 - Automatentheorie und Formale Sprachen 2010] | |||
* [https://lat.inf.tu-dresden.de/teaching/ws2013-2014/FS/script_2013.pdf Prof. Dr.-Ing. Franz Baader: Formale Systeme, Teil 1 - Automatentheorie und Formale Sprachen 2013] | |||
* [https://lat.inf.tu-dresden.de/teaching/ws2010-2011/Bachelor/script.ps_pages.pdf Prof. Dr.-Ing. Franz Baader: Formale Systeme, Kapitel 10 Kellerautomaten - Erweiterte Version] | |||
== Weitere Folien == | == Weitere Folien == | ||
* [https:// | * [https://iccl.inf.tu-dresden.de/w/images/0/04/Al_ergaenzung.pdf Aussagenlogik: Ergänzungen 5.11.2015] | ||
* [https:// | * [https://iccl.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: | |Literature=Der erste Teil der Vorlesung basiert auf die folgenden Bücher: | ||
Aktuelle Version vom 26. Oktober 2020, 18: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
Vorlesungsreihe
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
