L'enseignement de la programmation logique à l'Ecole des Mines de Nantes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

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.
Fichier non déposé

Dates et versions

hal-00448543 , version 1 (19-01-2010)

Identifiants

  • HAL Id : hal-00448543 , version 1

Citer

Narendra Jussien. L'enseignement de la programmation logique à l'Ecole des Mines de Nantes. 9 ème Journées Francophones de Progammation en Logique et avec Contraintes (JFPLC'03), 2003, Amiens, France, France. pp.63--75. ⟨hal-00448543⟩
59 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More