Approfondissement des notions de logique et programmation logique/Présentation du cours

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche

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.