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 03.09.014
• Thursdays: 08:30 to 10:00 and 10:15 to 11:45 in Room 02.13.010

In general, we try to stick to the schedule of having two lectures followed by one tutorial. Usually this means there will be a lecture on Tuesday and in the first Thursday slot and a tutorial in the second thursday slot. Due to public holidays there are two exeptions:

• Thursday, May 28th: both slots will be a lecture
• Tuesday, June 2nd: Will be a tutorial

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
   
• Alastair Carr: The Natural Deduction Pack
  https://logicmanual.philosophy.ox.ac.uk/carr/NDpack.pdf