Logic for Computer Science

Course Code
λογ-υπο
ECTS Credits
5
Semester
8th Semester
Course Category

Specialization courses

Specialization courses

Specialization
Specialization elective courses on Informatics
Course Description
COURSE CONTENTS

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

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