Approfondissement des notions de logique et programmation logique
Approfondissement des notions de logique et programmation logique
Ce cours aborde les points suivants :
- logique des propositions, algèbre de Boole et applications ;
- théorie des ensembles ;
- formalisation de problèmes et modes de raisonnement ;
- logique des prédicats ;
- systèmes formels et axiomatisation de la logique.
[modifier]
Objectifs
modifier ces objectifs.
Les objectifs de ce cours sont :
- maîtriser les concepts fondamentaux de logique, de formalisation et de raisonnement constituant le socle de base du travail en informatique.

Niveau et prérequis conseillés
modifier ces prérequis.
Cours de niveau 14. Les prérequis conseillés sont :
- aucun

