Exercices en binôme.

Exercices en binôme.

Retour des élèves. Description des épreuves orales.

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.