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)
|08.09||1||Introduction to the course. Propositional logic: syntax, semantics, decidability of satisfiability.||
|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.|
Last updated: 15.09.2017 Silvio Capobianco