Course contents: Propositional and First-Order Logic (Syntax, Semantics, proof Theory, Soundness, Completeness). Elements of Proof Theory and automated deduction (Hilbert systems, tableaux, Gentzen systems). Elements of Logic programming. Non-classical logics (modal, temporal, non-monotonic logic) and applications in AI.

Assessment: Written exam at the end of the semester. Optional coursework may be assigned.