### 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)