Course ITT0040 -- Logic for Computer Science

2017 Fall Semester

Attention: the course will not be activated if fewer than 6 people will have registered by Thursday 14 September.

UPDATE: as of 15 September, only one student has registered. The course will be cancelled.
Hope to see you next year!

GOALS OF THE COURSE:

Click here for a more detailed description of the course

TIME AND PLACE:

INSTRUCTOR: Silvio Capobianco , contact: firstname(at)cs.ioc.ee

COURSE CONTENT: (tentative, updated weekly)


Date Lecture Subject Slides
08.09 1 Introduction to the course. Propositional logic: syntax, semantics, decidability of satisfiability. Lecture
Exercises
15.09 2 Propositional logic: normal form, Hilbert systems.
22.09 3 Propositional logic: Hilbert systems.
29.09 4 Propositional logic: sequent calculus.
06.10 5 Predicative logic: syntax and semantics.
13.10 6
20.10 7
27.10 8
03.11 9
10.11 10
17.11 11
24.11 12
01.12 13
08.12 14
15.12 15
22.12 16





Last updated: 15.09.2017 Silvio Capobianco