Description
This lecture is part of the elective module "Automated Reasoning". The lectures in this module extend the introductory logic course given in the bachelor program. And the content of the latter course is a prerequisite.
Logic is defined as the study of the principle of reasoning. The following topics will be discussed in the course:
| Syntax, Semantics and Formal Systems of First-Order Logic (including Equality) |
| Extensions of First-Order Logic like Modal Logic and Second-Order Logic |
| Curry-Howard Isomorphism |
| Introduction to Automated and Interactive Reasoning |
Lecture Notes
Literature
The course is partly based on the following books:- G.S. Boolos, J.P. Burgess, and R.C. Jeffrey
Computability and Logic
Cambridge University Press, 2007
ISBN 978-0-521-87752-7 (hardback) - H.-D. Ebbinghaus, J. Flum, and W. Thomas
Einführung in die mathematische Logik
Spektrum Akademischer Verlag, 2007
ISBN 978-3-8274-1691-9
NB: There is an english translation entitled "Mathematical Logic" of this text book. However this edition is slightly out of date
Additional Material
- The Resolution Calculus by Alexander Leitsch (pdf)
- Towards an Automatic Analysis of Security Protocols in First-Order Logic (pdf)