Cours disponibles

Catégorie: Semestre 5
L'objectif est l'acquisition des outils théoriques permettant de construire un raisonnement, avec application à la preuve de programmes. Logique propositionnelle Logique des prédicats Induction Preuve formelle Spécification et sémantique des programmes Preuve de terminaison de programmes Preuv…
Catégorie: Semestre 5
L'objectif de ce cours est de présenter comment fonctionnent les principaux éléments architecturaux d'un ordinateur. Le plan du cours est le suivant: Codage de l'information, des entiers, flottants jusqu'aux instructions et programmes Fonctionnement des unités fonctionnelles d'un processeur Am#8230;
Catégorie: Semestre 5


L'objectif de ce cours est d'apprendre les bases de la
programmation impérative par l'étude de la syntaxe et la sémantique du
langage C.