Logic

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

• MCL-F
• EMCL-B-F

Leistungskontrolle

• Klausur

• Information

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 late (7:30am) and Friday 4. DS (1:00pm)
  • Starting from: Oct 23, 1. DS
• 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)
• Consultation hours
  • tba

• Exams (Updated):
  • Mid-Term: tba
  • Final:
    • Sat Dec 14, precise time and place tba
    • Show up early (20 min in advance; we need you to register etc.)!