Logic (WS2016): Unterschied zwischen den Versionen
Tobias Philipp (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Logic |Research group=Wissensverarbeitung |Lecturers=Steffen Hölldobler; |Term=WS |Year=2016 |SWSLecture=0 |SWSExercise=0 |SWSPractical=0…“) |
Tobias Philipp (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 2: | Zeile 2: | ||
|Title=Logic | |Title=Logic | ||
|Research group=Wissensverarbeitung | |Research group=Wissensverarbeitung | ||
|Lecturers=Steffen Hölldobler; | |Lecturers=Steffen Hölldobler; | ||
|Term=WS | |Term=WS | ||
|Year=2016 | |Year=2016 | ||
| Zeile 17: | Zeile 17: | ||
Please pay attention to our [https://ddll.inf.tu-dresden.de/web/Datei:CL-PS-Guidelines-2014.pdf guidelines]. | Please pay attention to our [https://ddll.inf.tu-dresden.de/web/Datei:CL-PS-Guidelines-2014.pdf guidelines]. | ||
<!--- | |||
'''Test Exams''' | '''Test Exams''' | ||
We plan to run two test exam where participation is compulsory and results will count for 10% of the final grade. | We plan to run two test exam where participation is compulsory and results will count for 10% of the final grade. | ||
The other 90% are determined by the score of the written exam | The other 90% are determined by the score of the written exam | ||
However, this only holds if you pass the exam on the first attempt. | However, this only holds if you pass the exam on the first attempt. | ||
If you fail, your grade will solely be determined by the score of your second attempt. | If you fail, your grade will solely be determined by the score of your second attempt. | ||
Test Exam 1: Monday 2th November | Test Exam 1: Monday 2th November | ||
| Zeile 31: | Zeile 32: | ||
'''Final Exam''': 19th December, 10am in Room ZEU/255/Z (Zeunerbau, Georg-Bährstrasse 3c). | '''Final Exam''': 19th December, 10am in Room ZEU/255/Z (Zeunerbau, Georg-Bährstrasse 3c). | ||
--> | |||
'''Written Exam''' | '''Written Exam''' | ||
Version vom 1. August 2016, 13:28 Uhr
Logic
Lehrveranstaltung mit SWS 0/0/0 (Vorlesung/Übung/Praktikum) in WS 2016
Dozent
- Steffen Hölldobler
Umfang (SWS)
- 0/0/0
Module
Leistungskontrolle
- Klausur
This course will introduce you to propositional logic and first-order predicate logic. After reviewing syntax and semantics, we will cover some basic concepts like normal forms, substitution, and unification. You will be introduced to proof procedures such as the resolution calculus and related concepts including soundness, completeness, and decidability.
The lecture ends on November 25, and we continue with Science of Computational Logic
Exercise Book
Please pay attention to our guidelines.
Written Exam
This course will be examined as a part of the Foundations exam. The Foundation exam consists of two separate exams: a written examination for the course Logic and an oral examination for the course Science of Computational Logic. The written exam is scheduled shortly before Christmas.
Some remarks on the style of the written exam in logic
- no exam aids or support materials will be allowed. In other words, only writing materials are allowed.
- The emphasis of the exam will be on the proofs of theorems, propositions and lemmata from the lectures and the proofs occurring with the problems from the tutorials.
- In addition, in the first problem of the exam we will usually ask for some definition or algorithm presented on the lectures, e.g. define concepts like substitution, resolvent, interpretation, Skolemization, ... or algorithms like unification, transformation to clause form, ...
- Maybe, one or two exam problems will be the application of some of the presented calculi (e.g. resolution, natural deduction, normalform transformation, etc).
