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.
[]
Objectifs
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.
ces objectifs Niveau et prérequis conseillés
ces prérequis
Cours de niveau 14. Les prérequis conseillés sont :
- aucun
ces prérequis 
Voir aussi