Ce cours présente les techniques de résolution de problèmes mathématiques (équations, systèmes d'équations, interpolation) avec des algroithmes d'approximation. Il aborde la notion de la précision et de l'erreur des méthodes itératives pour la résolution de ces problèmes.
Ce cours a pour objectif de donner aux étudiants des notions de calculabilité et les bases de la logique formelle à partir de l'étude de la logique propositionnelle
Comprendre les notions d'algorithme, de structure de données et de complexité. Sensibiliser à la notion de preuve d'algorithme. Montrer l'impact du choix des structures de contrôle et des structures de données sur la complexité. Acquérir la connaissance des structures de données de base et des algorithmes de base sur les tris, les arbres. Acquérir un savoir-faire théorique et pratique sur ces notions à travers Cours, TDs et TP.
Méthodes d'analyse et de conception des systèmes d'information
Le module se décompose en trois grandes parties : La première partie porte sur l'architecture externe d'un processeur 32 bits, et insiste sur la définition de l'interface matériel / logiciel et la programmation en assembleur.
Ce cours aborde la modélisation par graphe et les algorithmes à utiliser pour résoudre des problèmes variés en utilisant les graphes. Ce cours aborde la modélisation par graphe et présente la terminologie utilisée dans ce domaine et reprise par les autres disciplines de l'informatique. Il présente également les algorithmes de traitement des graphes souvent utilisés en pratique.