Approfondissement des notions de logique et programmation logique/Présentation du cours
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.