Description
Logic is defined as the study of the principle of reasoning. The lecture extends the introductory logic course given in the bachelor program. And the content of the latter course is a prerequisite.
This lecture is part of the elective module "Automated Reasoning". The other two parts of the module (the lecture on "Automated Theorem Proving" and the correponding seminar) will be given in the summer term.
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
- Lecture Notes
pdf
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)