Contenu
En terme de connaissance, ce cours vise à sensibiliser les futurs ingénieurs et chercheurs en science et technologie du logiciel à la puissance, mais aussi aux limites de ce que l'on peut obtenir par la mécanisation du calcul ou du raisonnement, en terme de savoir faire, nos étudiants auront acquis la maîtrise des outils théoriques de base de la spécification et modélisation scientifique des programmes ainsi que l'expérience de leur mise en oeuvre technologique soit par utilisation d'outils logiciels existants soit par implantation de quelques algorithmes fondamentaux du domaine.
|
