Rognier, Benoit (19..-....)
Vidéos
SESSION 5 : Comment les acteurs français de l’IA vont transformer la production pédagogique ?
L’intelligence artificielle s’impose comme un levier majeur pour renouveler la création et la diffusion des ressources éducatives. Entre gains d’efficacité et nouveaux enjeux, elle redéfinit déjà la
Assistant de démonstration (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements
Propos liminaire (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements
Récursivité (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements
Exécution symbolique (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements
Conclusion (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements
Raisonnement mathématique (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements