Aktuelle Version vom 26. Oktober 2020, 18:57 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

INF-B-290

Leistungskontrolle

Klausur

Vorlesungsreihe

Theoretische Informatik und Logik

Information

@@ Zeile 6: / Zeile 6: @@
 |Term=SS
 |Year=2016
+|Lecture series=Theoretische Informatik und Logik
 |Module=INF-B-290
 |SWSLecture=4
@@ Zeile 11: / Zeile 12: @@
 |SWSPractical=0
 |Exam type=Klausur
-|Description== Neuigkeiten =
+|Description=<!--
-* <b> Für die nächsten zwei Übungsblätter habt Ihr die Möglichkeit Eure Lösungen bis zum Montag den 23.5. und Montag den 30.5. bis um 14 Uhr  abzugeben (in den Briefkasten zwischen der 2005 und 2006 in APB).  </b>
+ = Neuigkeiten =
+<b><font color="red">Die Einsichtnahme in die Theoretische Informatik und Logik Klausur vom 25.07.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> </b>
+<b>Es werden keine vorläufigen Klausurergebnisse veröffentlicht.</b>
+Der Prüfungstermin ist Montag, der 25.07.2016 um 14:50 Uhr in TRE/PHYS/E. Bitte bereits 10 Minuten vor Beginn (14:40 Uhr) anwesend sein.
+* Für die Prüfung gelten folgende Regeln:
+** 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
+** Alle müssen ordnungsgemäß für die Klausur angemeldet sein.
+** Bitte bereits 10 Minuten vor Beginn (d.h. 14:40 Uhr) anwesend sein.
@@ Zeile 19: / Zeile 36: @@
 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==
-* [https://ddll.inf.tu-dresden.de/w/images/e/e6/Intro2016.pdf Einführung]
+* [https://iccl.inf.tu-dresden.de/w/images/e/e6/Intro2016.pdf Einführung]
-* [https://ddll.inf.tu-dresden.de/w/images/0/0e/Fol2016.pdf Prädikatenlogik erster Stufe] (aktualisiert am 9.5.2015, 9:45 Uhr)
+* [https://iccl.inf.tu-dresden.de/w/images/0/0e/Fol2016.pdf Prädikatenlogik erster Stufe] (aktualisiert am 9.5.2015, 9:45 Uhr)
 * [https://cloudstore.zih.tu-dresden.de/public.php?service=files&t=7d95fbbfa68525629c03913726159ad2 Folien Theoretische Informatik]
+* [https://iccl.inf.tu-dresden.de/w/images/6/69/HPaufMPKP.pdf Folien zum Beweis Lemma 6.4]
 =Übungen=
@@ Zeile 32: / Zeile 48: @@
 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.
+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 Montag, 15 Uhr (in der Woche der entsprechenden Übungswoche) in den Briefkasten zwischen der 2005 und 2006 (in APB) einwerfen.
 * Dienstag, 5.DS in APB/E010
@@ Zeile 42: / Zeile 58: @@
 == Aufgaben zur Prädikatenlogik ==
-Lösungen zu fast allen Übungsaufgaben, und weitere Übungsufgaben finden sich in dem Buch
+Lösungen zu fast allen Übungsaufgaben, und weitere Übungsaufgaben finden sich in dem Buch
 "S. Hölldobler et al.: Logik und Logikprogrammierung, Band II: Aufgaben und Lösungen, Synchron Publishers GmbH, 2011""
@@ Zeile 62: / Zeile 78: @@
 * 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]), 4. Übungswoche
 * Formel ohne endliche Modelle ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.3_F_a415_task_A.pdf Aufgabenstellung]), 4. Übungswoche
 === 4.4 Äquivalenz und Normalform ===
 * Modellverlust beim Skolemisieren ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.4_A_modellverlust_task_A.pdf Aufgabenstellung]), 5. Übungswoche
 * Normalformen ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.4_B_normalformen_task_A.pdf Aufgabenstellung]), 5. Übungswoche
 === 4.5 Unifikation ===
 * Unifikationsprobleme I ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.5_A_anwendung_task_A.pdf Aufgabenstellung]), 5. Übungswoche
 * Unifikationsprobleme II ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.5_B_anwendung2_task_A.pdf Aufgabenstellung]), 5. Übungswoche
 <br>
 * Vergleichbarkeit von Unifikatoren ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.5_C_vergleichbarkeit_task_A.pdf Aufgabenstellung]), 6. Übungswoche
 * Zur Terminierung des Unifikationsalgorithmus ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.5_D_UnifTermin_task_A.pdf Aufgabenstellung]), 6. Übungswoche
 === 4.6 Beweisverfahren ===
-* Resolutionsverfahren ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.6_A_Res1ordBeisp_task_A.pdf Aufgabenstellung]), 7.Übungswoche
+* Resolutionsverfahren ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.6_A_Res1ordBeisp_task_A.pdf Aufgabenstellung]), 7. Übungswoche
-* Schrittweiser Resolutionsbeweis ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.6_B_Res1ordKlausurBeweis_task_A.pdf Aufgabenstellung]), 7.Übungswoche
+* Schrittweiser Resolutionsbeweis ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.6_B_Res1ordKlausurBeweis_task_A.pdf Aufgabenstellung]), 7. Übungswoche
 *  Notwendigkeit der Faktorisierung ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.6_C_Res1ordFactoris_task_A.pdf Aufgabenstellung]), 7. Übungswoche
 === 4.7 Implementierung von Beweisverfahren ===
 === 4.8 Eigenschaften ===
 * Beispiel für korrespondierendes Herbrand-Modell ([http://www.wv.inf.tu-dresden.de/Teaching/SS-2013/logik/uebungen/4.8_A_korrHbeisp_task_A.pdf Aufgabenstellung]), 7. Übungswoche
+== Aufgaben zur Theoretischen Informatik ==
+=== I. Berechenbarkeit ===
+* 1. Turingmaschinen ([https://iccl.inf.tu-dresden.de/w/images/b/bc/Uebung8.pdf Aufgabenstellung]), 8. Übungswoche (aktualisiert am 15.6.2016)
+* 2. Rekursive Funktionen ([https://iccl.inf.tu-dresden.de/w/images/d/dc/Uebung9.pdf Aufgabenstellung]), 9. Übungswoche
+* 3. LOOP- und WHILE-Programme ([https://iccl.inf.tu-dresden.de/w/images/e/e4/Uebung10.pdf Aufgabenstellung]) 10. Übungswoche (aktualisiert am 22.6.2016)
+* 4. Post'sches Korrespondenzproblem ([https://iccl.inf.tu-dresden.de/w/images/b/ba/Uebung11.pdf  Aufgabenstellung]) 11. Übungswoche
+=== II. Komplexität ===
+* 5. Komplexitätsklasse NP ([https://iccl.inf.tu-dresden.de/web/Datei:ThILUebung12.pdf Aufgabenstellung]) 12. Übungswoche
+* 6. Komplexitätsklasse PSpace ([https://iccl.inf.tu-dresden.de/web/Datei:Uebung13.pdf Aufgabenstellung]) 13. Übungswoche
 == Klausur ==
 Alte Klausuren über Prädikatenlogik sind hier zu finden: [http://www.wv.inf.tu-dresden.de/Teaching/Logik/Klausuren/index.html]
+-->
 }}

Theoretische Informatik und Logik(SS2016): Unterschied zwischen den Versionen

Aktuelle Version vom 26. Oktober 2020, 18:57 Uhr

Theoretische Informatik und Logik

Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in SS 2016