Theoretische Informatik und Logik(SS2016): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Tobias Philipp (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Tobias Philipp (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 54: | Zeile 54: | ||
* Eigenschaften von Substitutionen ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.2_B_eigenschaften_task_A.pdf Aufgabenstellung]), 2. Übungswoche | * Eigenschaften von Substitutionen ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.2_B_eigenschaften_task_A.pdf Aufgabenstellung]), 2. Übungswoche | ||
=== 4.3 Semantik === | |||
* Beispiele zur Interpretationsanwendung ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.3_A_IntAuswertung_task_A.pdf Aufgabenstellung]), 3. Übungswoche | |||
* Verschiedene Interpretationen einer Formel ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.3_B_IntBeispiele_task_A.pdf Aufgabenstellung]), 3. Übungswoche | |||
* Existenz einer Herbrand-Interpretation ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.3_C_hiexist_task_A.pdf Aufgabenstellung]), 3. Übungswoche | |||
<!-- | <!-- | ||
* Knifflige Existenz ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.3_D_KniffligEX_task_A.pdf Aufgabenstellung]) | * Knifflige Existenz ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.3_D_KniffligEX_task_A.pdf Aufgabenstellung]) | ||
* Falscher Satz für einelementige Domänen ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.3_E_a468_task_A.pdf Aufgabenstellung]) | * Falscher Satz für einelementige Domänen ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.3_E_a468_task_A.pdf Aufgabenstellung]) | ||
Version vom 18. April 2016, 21:22 Uhr
Theoretische Informatik und Logik
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in SS 2016
Dozent
- Steffen Hölldobler
Tutor
Umfang (SWS)
- 4/2/0
Module
Leistungskontrolle
- Klausur
Neuigkeiten
- Die Slots der ursprünglichen Übungsstunden und die Räume wurden verändert. Falls Ihr Euch schon in eine Übung eingeschrieben habt, überprüft bitte ob diese mit den neuen Uhrzeiten übereinstimmt.
- 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.
Vorlesung
Die Vorlesung findet montags in der 2. DS in APB/E023 und donnerstags in der 4. DS in HSZ/0004 statt.
Am Montag, den 30.05.2016, findet die Vorlesung ausnahmsweise in CHE (Chemie-Hörsaal) 91 statt.
Vorlesungsfolien
Übungen
Die Übungen finden erst ab der zweiten Vorlesungswoche statt, d.h. ab der Woche vom 11.4.
Vor jeder Übung habt die Möglichkeit Eure eigenen Lösungen zu den Aufgaben korrigieren zu lassen. Dafür solltet Ihr diese bis spätestens Freitag, 14 Uhr (in der Woche vor der entsprechenden Übungswoche) in den Briefkasten zwischen der 2005 und 2006 (in APB) einwerfen.
- Dienstag, 5.DS in APB/E010
- Mittwoch, 4.DS in APB/E010
- Mittwoch, 5.DS in APB/E001
- Freitag, 2.DS in APB/E008
- Freitag, 5.DS in APB/E007
Aufgaben zur Prädikatenlogik
Lösungen zu fast allen Übungsaufgaben, und weitere Übungsufgaben finden sich in dem Buch "S. Hölldobler et al.: Logik und Logikprogrammierung, Band II: Aufgaben und Lösungen, Synchron Publishers GmbH, 2011""
4.1 Syntax
- Konstruktion von Teiltermen (Aufgabenstellung), 1. Übungswoche
- Über Nachbarn (Aufgabenstellung), 1. Übungswoche
4.2 Substitutionen
- Substitutionskomposition ist eine Substitution (Aufgabenstellung), 2. Übungswoche
- Eigenschaften von Substitutionen (Aufgabenstellung), 2. Übungswoche
4.3 Semantik
- Beispiele zur Interpretationsanwendung (Aufgabenstellung), 3. Übungswoche
- Verschiedene Interpretationen einer Formel (Aufgabenstellung), 3. Übungswoche
- Existenz einer Herbrand-Interpretation (Aufgabenstellung), 3. Übungswoche
Klausur
Alte Klausuren über Prädikatenlogik sind hier zu finden: [1]
