There are many reasons why a computer scientist should study logic. Historically it formed the roots of computer science, both Church's and Turing's work being motivated by the decision problem for first-order logic. Nowadays we are finding conversely that computer science is generating an explosion of interest in logic, with the desire to automate reasoning and the necessity to prove programs or systems correct. Basically, logic and computer science address the same problems of formalizing, elaborating and communicating knowledge.

Introduction to (Classical) Propositional Logic: Syntax and Semantics. NP-completeness of the satisfiability problem; Hints on (some) non-classical logics; Introduction to (Classical) First-Order Logic; Deductive Systems: Natural Deduction and Sequent Calculus; Advanced topics in proof theory, e.g. cut-elimination theorem, Craig's interpolation theorem, generalizations of sequent calculi.

No lecture notes are available.