Version vom 6. November 2019, 15:12 Uhr

Logic

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2019

Dozent

Steffen Hölldobler

Tutor

Johannes Fichte

Umfang (SWS)

2/2/0

Module

Leistungskontrolle

Klausur

Information

Mid-Term dates changed. It will take place on Nov. 15 (Fri)

This course introduces propositional logic and first-order predicate logic. After reviewing syntax and semantics, we cover some basic concepts like normal forms, substitution, and unification. We introduce proof procedures such as the resolution calculus and related concepts including soundness, completeness, and decidability.

Lectures (room APB/E05)
- 4/4/0 lecture until the end of November
- Mondays 4.DS (1:00pm) and Thursday 4.DS (1:00pm)
- In the first week the only lecture is on Friday 4.DS (Oct 18)
Exercises (room APB/E05)
- Wednesday 1. DS (7:30am) and Friday 4. DS (1:00pm)
- Starting from: Oct 23, 1. DS
- Exception: Fri 01.11.2019 -> Thu 07.11.2019 (9:20 - 10:50) place APB-2026
Lecture notes
- We handout copies of a manuscript once we know how many students will show up
- Slides are available online [1] (password will be given in the lecture or during exercises)

Exams (Updated):

** Mid-Term: Nov. 15 (Fri)

- Final:
  - Dec 13 (Fri), precise time and place tba
  - Show up early (20 min in advance; we need you to register etc.)!

Exercises (Notes/Tasks)
- 3.X we only write the number for X below
- Oct 23: 1, 12a
- Oct 25: 12b+c, 25, 38, (41), (10),
- Oct 30: 41, 51, 54, 74
- Oct 6: 73, 78, 80, (23a+e)
- Oct 7: 80 cont., 23a, 33, 85, 86, 87, 88
- Oct 8: 89, 92, 95, 3, 4
- Oct 13: 81
- Oct 15: mid term

@@ Zeile 11: / Zeile 11: @@
 |SWSPractical=0
 |Exam type=Klausur
-|Description=This course introduces propositional logic and first-order predicate logic. After reviewing syntax and semantics, we cover some basic concepts like normal forms, substitution, and unification. We introduce  proof procedures such as the resolution calculus and related concepts including soundness, completeness, and decidability.
+|Description=<code>  <span style="color:#FF0000">Mid-Term dates changed. It will take place on Nov. 15 (Fri)</span></code>
+This course introduces propositional logic and first-order predicate logic. After reviewing syntax and semantics, we cover some basic concepts like normal forms, substitution, and unification. We introduce  proof procedures such as the resolution calculus and related concepts including soundness, completeness, and decidability.
 * Lectures (room APB/E05)
@@ Zeile 20: / Zeile 22: @@
 ** Wednesday 1. DS (7:30am) and Friday 4. DS (1:00pm)
 ** Starting from: Oct 23, 1. DS
-** Exception: Fri 01.11.2019 -> Thu 07.11.2019 (9:20 - 10:50) place TBA
+** Exception: Fri 01.11.2019 -> Thu 07.11.2019 (9:20 - 10:50) place APB-2026
 * Lecture notes
 ** We handout copies of a manuscript once we know how many students will show up
 ** Slides are available online [http://www.wv.inf.tu-dresden.de/materials/logic/] (password will be given in the lecture or during exercises)
-* Consultation hours
-** tba
 * Exams (Updated):
-** Mid-Term: Nov. 13 (Wed)
+<code>  <span style="color:#FF0000">** Mid-Term: Nov. 15 (Fri)</span></code>
 ** Final:
-*** Fri Dec 13, precise time and place tba
+*** Dec 13 (Fri), precise time and place tba
 *** Show up early (20 min in advance; we need you to register etc.)!
@@ Zeile 38: / Zeile 38: @@
 ** Oct 25: 12b+c, 25, 38, (41), (10),
 ** Oct 30: 41, 51, 54, 74
-** Oct 6: 73, 78, 80, 23a+e
+** Oct 6: 73, 78, 80, (23a+e)
-** Oct 7: 33, 85, 86, 87, 88
+** Oct 7: 80 cont., 23a, 33, 85, 86, 87, 88
 ** Oct 8: 89, 92, 95, 3, 4
-** Oct X: 81
+** Oct 13: 81
+** Oct 15: mid term
 }}

Logic (WS2019): Unterschied zwischen den Versionen

Version vom 6. November 2019, 15:12 Uhr

Logic

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2019