Introduction aux notions de logique et programmation logique/Objectifs

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
  • formalisation du raisonnement logique, rudiments de programmation logique.