29 articles tagués avec « Cours »

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

Sujet "Sémantique pour la logique intuitionniste".

• 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".

Cours "Logique propositionnelle (rappels)".

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

Cours "Concurrence".

Cours "Algorithme min-max".

• Fin TD "Algorithmes probabilistes".
• TD "Apprentissage" : exercice 1. Exercice 2 à préparer pour la semaine prochaine.
• Cours "Jeux à deux joueurs". Finir exercice CCINP.

Cours "Apprentissage non supervisé".