- Exemple
- Stratégie de victoire
- Règle intuitionniste
Cette vidéo est chapitrée. Cliquez sur le bouton de chapitre sur le lecteur vidéo pour les voir.
This is a modal window.
Début de la fenêtre de dialogue. La touche d'échappement annulera et fermera la fenêtre.
Fin de la fenêtre de dialogue.
Un exercice commenté de résolution de dialogue en logique des prédicats, avec détermination d'une stratégie de victoire, avec et sans la règle intuitionniste.
Mots clés : logique
Recevez des notifications pour des événements spécifiques (lorsque l’encodage d’une de vos vidéos est terminé).
Commentaire(s)
Supprimer le commentaire