Description
Logic is defined as the study of the principle of reasoning. The course extends the introductory logic course given in the bachelor program. And the content of the latter course is a prerequisite.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 |
| Automated Reasoning with Equality |
| A Bluffer's Guide to Isabelle/HOL |
See the material section of this course description for information on lecture notes, literature, and additional material. On the other hand the slides are available in the schedule section, which also provides (non-mandatory) homework assignments.