L'enseignement de la programmation logique à l'École des Mines de Nantes
La programmation logique est enseignée à l’École des Mines de Nantes depuis 1994.
Suite à un doublement du volume horaire en 1998 (de 15 à 30 heures), le contenu du cours
a beaucoup évolué pour proposer un cheminement plus complet depuis la logique formelle
jusqu’à la programmation en logique. Cet article présente ce cours dans son organisation et sa
philosophie.
Logic programming is taught at École des Mines de Nantes since 1994. Our course is
organized to provide a complete path from logic to logic programming. This document presents
the current organization of the course.
programmation logique, logique formelle, enseignement
logic programming, logic, teaching
Français
|
