Introduction aux notions de logique et programmation logique/Objectifs

  • formalisation du raisonnement logique, rudiments de programmation logique.