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