Cours "Algorithmique du texte (MP2I)" sauf exemple (LZW).

• TD "Déduction naturelle". Préparer exercice 4 : Complétude de la logique classique.

Sujet "Sémantique pour la logique intuitionniste".

• Apprentissage automatique : tout le cours.
• Jeux à deux joueurs : tout le cours.
• Concurrence : tout le cours.
• Logique propositionnelle : tout le cours.
• Déduction naturelle : tout le cours.

• Fin TD "Logique propositionnelle (rappels)".
• TD "Déduction naturelle", exercice 1.
• Fin cours "Déduction naturelle".

À faire : TD "Déduction naturelle", exercice 2.

Cours "Déduction naturelle".

Mise à jour de la page concours avec un résumé des conseils du jury pour les épreuves écrites.

• TD "Concurrence".
• Début TD "Logique propositionnelle". Exercice 2 à faire pour jeudi prochain.

Cours "Logique propositionnelle (rappels)".

• Fin TD "Jeux à deux joueurs".
• Cours "Mutex".