en | de

Logic

master program

VO2  WS 2009/2010  703501

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.

Language

The course will be held in English.