Le but de ce cours est d’étudier en détails les fondements de la logique et vous donner une formation suffisante pour que vous puissiez vous familiariser avec d’autres logiques que vous rencontrerez plus tard, également vous sensibiliser au fait que la logique peut être très utile pour automatiser les tâches de raisonnement rencontrées lors de la construction ou analyse de modèles et de programmes.
On va présenter les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, permettent de comprendre en quoi la logique est nécessaire à la pratique de l'informatique et par suite leurs domaines d’application tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel.
- Enseignant: Yedjour Hayat