- Présentation
- Rubriques
- BIM
- Pourquoi créer un jeu sérieux ?
- Usine 4.0
- Les moteurs de recherche
- Panorama des objets connectés
- La mécatronique
- Introduction à la vérification de programme
- L'approche sémantique et les données liées
- Learning Object-Oriented Programming in Pharo
- Études et recherche marketing
- Simuler pour optimiser
- Créer des documents avec Scenari
- Introduction à la mécanique via l’Hermione
- La mécanique de la rupture : de la recherche aux applications industrielles
- Quelques aspects des bateaux volants
- Opérations unitaires polyphasiques
- Approche fonctionnelle d’ORI-OAI et démarche de projet
- Des rivières et des hommes : hydrologie, hydraulique et géomorphologie
- Les générateurs électriques à combustible fossile ou naturel
- Promotion des études scientifiques et techniques
- VideoManip : l'expérience magistrale au bout du clic
- Partenaires
- Contact
Introduction à la vérification de programme
Vidéo pédagogique
Récursivité (Introduction à la vérification de programme)
Rognier
Benoit
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)
Rognier
Benoit
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
Assistant de démonstration (Introduction à la vérification de programme)
Rognier
Benoit
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)
Rognier
Benoit
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)
Rognier
Benoit
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)
Rognier
Benoit
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
Intervenants
France
Directeur d'Edukera, application en ligne de formation aux maths et à la logique (2019)