ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 17/RSTI1 - 2003  - pp.63-75
TITRE
L'enseignement de la programmation logique à l'École des Mines de Nantes

RÉSUMÉ
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.

ABSTRACT
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.

AUTEUR(S)


MOTS-CLÉS
programmation logique, logique formelle, enseignement

KEYWORDS
logic programming, logic, teaching

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (194 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier