Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique
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.
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.
Pédagogie, programmation, logique, calcul, programmation logique, PROLOG.
Pedagogy, programmation, logic, computation, logic programming, PROLOG.
Français
|
