Logique mathématique
Ce cours est destiné aux étudiants de la 1ère année licence informatique appliquée à
la gestion. Il vise principalement à:
- Introduire les concepts de base et les outils fondamentaux de la logique
- Comprendre et illustrer la provenance des lois de la logiques
- Comprendre les principes de la logique des prédicats de premier ordre
- Apprendre les méthodes de déduction et de démonstration (principe de résolution)
- Apprendre un langage de programmation logique: prolog