Logic (IN2049)

Lecturer	Francisco Javier Esparza Estaun
Assistant	Fischer Vincent
Duration	6 SWS
Language of instruction	English

 

Dates

Lectures and tutorials

• Tuesdays: 10:15 to 11:45 in Room MI 03.09.14
• Thursdays: 08:30 to 10:00 and 10:15 to 11:45 in Room MW 1450

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

• Tuesday May 27. 10:15-11:45: Tutorial
• Tuesday June 3. 10:15-11:45: Lecture
• Thursday June 5. 08:30-10:00: Lecture
• Thursday June 5. 10:15-11:45: Tutorial
• Thursday June 12. 08:30-11:45: Lecture
• Tuesday June 17. 10:15-11:45: Tutorial
• Tuesday June 24. 10:15-11:45: Lecture
• Thursday June 26. 08:30-10:00: Lecture
• Thursday June 26. 10:15-11:45: Tutorial
• Tuesday July 1. 10:15-11:45: Lecture
• Thursday July 3. 08:30-10:00: Lecture
• Thursday July 3. 10:15-11:45: Tutorial
• Tuesday July 8. 10:15-11:45: Lecture
• Thursday July 10. 08:30-10:00: Lecture
• Thursday July 10. 10:15-11:45: Tutorial
• Tuesday July 15. 10:15-11:45: Lecture
• Thursday July 17. 08:30-10:00: Lecture
• Thursday July 17. 10:15-11:45: Tutorial
• Tuesday July 22. 10:15-11:45: Tutorial
• Thursday July 24. 08:30-10:00: Lecture
• Thursday July 24: 10:15-11:45: 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.

Literature

• Uwe Schöning: Logic for Computer Scientists. 
  https://link.springer.com/book/10.1007/978-0-8176-4763-6 
  (Digital access provided by the TUM Library) 
   
• John Harrison: Handbook of Practical Logic and Automated Reasoning 
  https://www.cambridge.org/core/books/handbook-of-practical-logic-and-automated-reasoning/EB6396296813CB562987E8C37AC4520D 
   
• Anne. S. Troelstra and H. Schwichtenberg: Basic Proof Theory 
  https://www.cambridge.org/core/books/basic-proof-theory/928508F797214A017D245A1FB67CCCD9 
   
• Egon Börger, Erich Grädel, and Yuri Gurevich: The Classical Decision Problem 
  https://web.eecs.umich.edu/~gurevich/Books/00.pdf 
   
• Daniel Kröning and Olef Strichman: Decision Procedures---An Algorithmic Point of View 
  https://link.springer.com/book/10.1007/978-3-662-50497-0 
   
• Apostolos Doxiadis and Christos S. Papadimitriou: Logicomix 
  https://www.logicomix.com/en/index.html