ACCUEIL

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

APPEL À
CONTRIBUTION
Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes d’Information
En savoir plus >>
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 8/RSTI1 - 2003  - pp.49-62
TITRE
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique

RÉSUMÉ
Nous présentons un enseignement donné en Maîtrise d'informatique à l'université de Rennes 1. Cet enseignement examine des relations entre logique et calcul, et parmi celles-ci la recherche d'une preuve considérée comme un calcul, d'où une initiation à la programmation logique. Cet enseignement n'est pas qu'un enseignement de programmation logique, mais c'est le seul que recevront sur le sujet les étudiants concernés. Même si cet enseignement privilégie les aspects fondamentaux, il comporte une série de travaux pratiques où on insiste sur l'usage effectif d'un environnement de programmation logique, ex. test et outil de trace.


ABSTRACT
We present a course given at the "Maîtrise d'informatique" level at Université of Rennes 1. This course studies relations between logic and computation, among which proofsearching as computing, hence a first course in logic programming. This course is not limited to logic programming, but it is the only one that the student will get on logic programming. Though this course focuses on theoretical matters, there is a series of practical works where we insist on the effective use of an actual logic programming environment, e.g., test and debugging.


AUTEUR(S)
Catherine BELLEANNÉE, Olivier RIDOUX

MOTS-CLÉS
Pédagogie, programmation, logique, calcul, programmation logique, PROLOG.

KEYWORDS
Pedagogy, programmation, logic, computation, logic programming, PROLOG.

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier