**Teaching staff:
Stéphane Graham-Lengrand <stephane.lengrand@polytechnique.edu>
**

**
**

**
Lectures and practicals are on Fridays afternoons, from 14:00 to 18:15, in Salle Nicole-Reine Lepaute,
Turing building
(building 24 on this map).
**

**
Evaluation is, for 25% of the grade, class participation,
and for 75% of the grade, an exam (on 21/12/2018).
**

**
**

Lecture 0 - Introduction

slides

Lecture 1 - Review of undergradate curriculum

slides

Lecture 2 - Automated reasoning mechanisms for propositional logic

slides

Lecture 3 - Extending propositional reasoning

slides

Lecture 4 - Semi-decision procedures for proof-search: goal-directed techniques and unification

slides

Lecture 5 - Introduction to logic programming, Resolution

slides

Lecture 6 - The theory of sets

slides

Lecture 7 - The theory of functions

slides

Lecture 8 - The lambda-calculus: Arithmetic and Computability

slides

Lecture 9 - Intuitionistic logic(s) and the proofs-as-programs paradigm

slides

**
**

**Past exams:
2017, Correction
2016, Correction
2015, Correction
2013 with correction
**