Ce module est intitulé Analyse numérique 1. Il est destiné principalement aux étudiants de la 2 ème année L.M.D.
L’objectif de l’analyse numérique est de concevoir et d’étudier des méthodes de résolution de certains problèmes mathématiques (en général issus et de la modélisation de problèmes réels), a titre d’exemples : commande optimale, structure (pneus, carrosserie, ...), biologie mathématique : propagation d’épidémie ..., modèle mathématique en médecine : cardiologie, cancer ..., et bien d’autres applications.

Le but de ce cours est d’étudier en détail les fondements de la logique classique et de
donner aux étudiants une formation suffisante pour qu’ils puissent se familiariser avec
d’autres logiques (intuitionniste ou floue) qu’ils peuvent rencontrer plus tard. Et également
les sensibiliser au fait que la logique peut être très utile pour automatiser/semiautomatiser
les tâches de raisonnement rencontrées lors de la construction/l’analyse de
modèles et de programmes.