Skip to content
Technical University of Munich

Logic (IN2049)

LecturerFrancisco Javier Esparza Estaun
AssistantFischer Vincent
Duration6 SWS
Language of instructionEnglish

 

Dates

Lectures and tutorials

  • Tuesdays: 10:00 to 12:00
  • Thursdays: 08:00 to 10:00 and 10:00 to 12:00

In general, we try to stick to the schedule of having two lectures followed by one tutorial. Due to the many public holidays, this means tutorials do not always fall on the same day. The planned  schedule for the next few weeks is as follows

  • Thursday April 24. 08:00-12:00: Lecture
  • Tuesday April 29. 10:00-12:00: Tutorial
  • Tuesday May 6. 10:00-12:00: Lecture
  • Thursday May 8. 08:00-10:00: Lecture
  • Thursday May 8. 10:00-12:00: Tutorial
  • Tuesday May 13. 10:00-12:00: Lecture
  • Thursday May 15. 08:00-10:00: Lecture
  • Thursday May 15. 10:00-12:00: Tutorial
  • Thursday May 22. 08:00-12:00: Lecture
  • Tuesday May 27. 10:00-12:00: Tutorial

Exam

Endterm: Tuesday July 29th 11:00-13:00 in Rudolf-Mößbauer-Hörsaal (5101.EG.501)
Retake: Monday October 6th 17:00-19:00 in Hörsaal 2, "Interims II" (5416.01.003) 

Material

slides

The Exercise sheets and solutions will be published here every week.

Content

In the context of propositional and predicate logic the following basic notions are covered: 

  • Syntax and semantics
  • Proof system and proof search
  • Soundness and completeness
  • Decidability
  • Expressiveness

Possible further topics (non exhaustive):

  • Proof systems
  • Automated theorem proving
  • Verification
  • Decision procedures
  • Prolog
  • Data base theory
  • Higher-order logic
  • Set theory
  • Constructive logic
  • Fuzzy logic.
To top