Séances de cours associées à Programmation de machines d'État

Séances de cours associées (42)

Algorithmes graphiques : modélisation et représentation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases des algorithmes de graphes, en se concentrant sur la modélisation et la représentation des graphes en mémoire.

Raisonnement du programme d'aide à l'apprentissage Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.