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 disussed.

week  1:	introduction, propositional logic, semantics
week  2:	propositional logic, formal proofs, resolution
week  3:	homework: propositional logic, first-order logic, semantics
week  4:	first-order logic, structures, theories and models
week  5:	first-order logic, formal proofs, Herbrand theory
week  6:	homework: first-order logic, resolution
week  7:	completeness of first-order logic, properties of first-order logic
week  8:	homework: compactness and completeness, introduction to computability
week  9:	computability continued, introduction to complexity
week 10:	complexity continued, finite model theory
week 11:	homework: computability and complexity, modal logics in a general setting
week 12:	modal logics continued, higher-order logics, introduction to Isabelle
week 13:	Isabelle frenzy

Literature

The course is largely based on the following books:

• Shawn Hedman
  A First Course in Logic
  Oxford University Press, 2008
  ISBN 978-0-19-852981-1
• Michael Huth and Mark Ryan
  Logic in Computer Science (second edition)
  Cambridge University Press, 2004
  ISBN 0-521-54310-X (paperback)

Language

The course will be held in English.