L'enseignement de la programmation logique à l'Ecole des Mines de Nantes
Résumé
La programmation logique est enseignée à l'École des Mines de Nantes depuis 1994. Après une augmentation du volume horaire en 1998 (de 15 à 30 heures), le contenu du cours a évolué pour proposer un cheminement plus complet depuis la logique formelle jusqu'à la programmation en logique. Ce document présente l'organisation du cours tel qu'il est dispensé actuellement.