Theoretische Informatik und Logik(SS2016): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Tobias Philipp (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Maximilian Marx (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (16 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt) | |||
| Zeile 6: | Zeile 6: | ||
|Term=SS | |Term=SS | ||
|Year=2016 | |Year=2016 | ||
|Lecture series=Theoretische Informatik und Logik | |||
|Module=INF-B-290 | |Module=INF-B-290 | ||
|SWSLecture=4 | |SWSLecture=4 | ||
| Zeile 11: | Zeile 12: | ||
|SWSPractical=0 | |SWSPractical=0 | ||
|Exam type=Klausur | |Exam type=Klausur | ||
|Description== Neuigkeiten = | |Description=<!-- | ||
= 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. | |||
=Vorlesung= | =Vorlesung= | ||
| Zeile 19: | Zeile 39: | ||
==Vorlesungsfolien== | ==Vorlesungsfolien== | ||
* [https:// | * [https://iccl.inf.tu-dresden.de/w/images/e/e6/Intro2016.pdf Einführung] | ||
* [https:// | * [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://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] | * [https://iccl.inf.tu-dresden.de/w/images/6/69/HPaufMPKP.pdf Folien zum Beweis Lemma 6.4] | ||
| Zeile 71: | Zeile 91: | ||
=== 4.6 Beweisverfahren === | === 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 | * 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 | ||
| Zeile 84: | Zeile 104: | ||
=== I. Berechenbarkeit === | === I. Berechenbarkeit === | ||
* 1. Turingmaschinen ([https:// | * 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 == | == Klausur == | ||
Alte Klausuren über Prädikatenlogik sind hier zu finden: [http://www.wv.inf.tu-dresden.de/Teaching/Logik/Klausuren/index.html] | Alte Klausuren über Prädikatenlogik sind hier zu finden: [http://www.wv.inf.tu-dresden.de/Teaching/Logik/Klausuren/index.html] | ||
--> | |||
}} | }} | ||
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
Leistungskontrolle
- Klausur
Vorlesungsreihe
