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

Ajouter des liens
Une page de Wikiversité, la communauté pédagogique libre.

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.
Récupérée de « https://fr.wikiversity.org/w/index.php?title=Approfondissement_des_notions_de_logique_et_programmation_logique/Présentation_du_cours&oldid=525481 »