Logic (IN2049)

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

 

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.

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