Logiques et algorithmes

Nous utiliserons essentiellement les documents rédigés par Stéphane Devismes, Pascal Lafourcade, Michel Lévy et Benjamin Wack, que je remercie chaleureusement !

Plan

Organisation hebdomadaire

12 séances de 4h :

Documents

  1. Le polycopié
  2. Exercices de déduction naturelle en logique propositionnelle
  3. Exercices de déduction naturelle en logique du premier ordre

Evaluation

Contrôle continu : deux partiels sans document ni moyen électronique, 50% + 50%
Deuxième session : examen écrit sans document ni moyen électronique, tout est au programme, 100%

Au programme du premier partiel : logique propositionnelle Au programme du second partiel : logique du premier ordre

Annales

Ressources

Bibliographie


Valid HTML5