en | de


master program

VO2  WS 2011/2012  703501


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

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.


The course will be held in English.