Introduction aux notions de logique et programmation logique/Objectifs

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