Intervenants
Cours : David Pichardie
Travaux dirigés : Boris Mailhé
Planning des cours
| Cours | Date | Sujet | Notes de cours | Énoncés de TD | Corrigés de TD |
|---|---|---|---|---|---|
| 1 | 13/01/2009 | Calculabilité : fonctions récursives et lambda-calcul | [pdf] [pdf] | ||
| 20/01/2009 | Annulé | ||||
| 2 | 27/01/2009 | Calculabilité : machines de Turing | [pdf] | ||
| 3 | 03/02/2009 | Calculabilité : les problèmes non-calculables | [pdf] | ||
| 4 | 10/02/2009 | Induction et logique propositionnelle (syntaxe et sémantique) | [pdf] | ||
| 17/02/2009 | Vacances | ||||
| 5 | 24/02/2009 | Calcul propositionnel : sémantique (suite et fin) | [pdf] | ||
| 6 | 03/03/2009 | Calcul propositionnel : déduction par coupure | [pdf] | ||
| 7 | 10/03/2009 | Calcul propositionnel : déduction naturelle | [pdf] | ||
| 8 | 17/03/2009 | Calcul des prédicats : syntaxe et sémantique | [pdf] | ||
| 9 | 17/03/2009 | Calculdes prédicats : sémantique, formes prénexes, formes de skolem, exemples de théories, Gödel | cf cours8 | ||
| 10 | 24/03/2009 | Calcul des prédicats : déduction naturelle | [pdf] | ||
| 11 | 31/03/2009 | Calcul des prédicats : résolution, programmation logique pure | [pdf] | ||
| 12 | 21/04/2009 | Logique temporelle et vérification de modèle | [pdf] |