Introduction aux notions de logique et programmation logique/Objectifs

Une page de Wikiversité, la communauté pédagogique libre.
Aller à la navigation Aller à la recherche
  • formalisation du raisonnement logique, rudiments de programmation logique.