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.
![image logo](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Question_book-2.svg/24px-Question_book-2.svg.png)
Niveau et prérequis conseillés
ces prérequis
Cours de niveau 14. Les prérequis conseillés sont :
- aucun
![Image logo](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Question_book-2.svg/24px-Question_book-2.svg.png)
![Image logo indiquant les ressources](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3f/Sciences_humaines.svg/45px-Sciences_humaines.svg.png)