Le M1 permet de mieux formaliser des problèmes, de concevoir des solutions techniques évaluables en terme de coûts et d'efficacité, et de piloter des projets. Réalisation d'un projet de simulateur de réseaux de neurones.
Modules, options, contenu des cours
Modèle de calcul - efficacité, faisabilité
Logique - spécification et vérification d'un programme
Conception formelle - model checking et autres systèmes de vérification/validation/certification de projets
Projet de programmation - Simulateur de réseau de neurones
