Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Lenseignement de la programmation logique a leco

See discussions stats and author pro ?les for this publication at https www researchgate net publication L'enseignement de la programmation logique à l'École des Mines de Nantes Article January Source DBLP CITATIONS author Narendra Jussien IMT Atlantique PUBLICATIONS CITATIONS SEE PROFILE READS All content following this page was uploaded by Narendra Jussien on June The user has requested enhancement of the downloaded ?le CL ? enseignement de la programmation logique à l ? École des Mines de Nantes Narendra Jussien École des Mines de Nantes rue Alfred Kastler ?? BP F- Nantes Cedex Narendra Jussien emn fr RÉSUMÉ La programmation logique est enseignée à l ? École des Mines de Nantes depuis Suite à un doublement du volume horaire en de à 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 Our course is organized to provide a complete path from logic to logic programming This document presents the current organization of the course MOTS -CLÉS programmation logique logique formelle enseignement KEYWORDS logic programming logic teaching C RSTI hors série JFPLC Introduction La programmation logique est enseignée à l ? École des Mines de Nantes depuis Suite à une augmentation du volume horaire en de à heures le contenu du cours a évolué pour proposer un cheminement plus complet depuis la logique formelle calcul propositionnel et calcul des prédicats jusqu ? à la programmation en logique Ce cours comporte de nombreux travaux pratiques mettant l ? accent sur les applications de PROLOG plutôt que sur le langage lui- même Ce document présente l ? organisation du cours telle qu ? il est dispensé actuellement Après une présentation du contexte spéci ?que de l ? enseignement dans une école d ? ingénieurs comme l ? École des Mines de Nantes les objectifs du cours sont détaillés puis le découpage en cours ?? TP est précisé En ?n une description détaillée des sujets de TP est proposée avant de faire un bilan de cet enseignement Contexte Créée en par le ministère de l ? industrie avec le concours des collectivités locales l ? École des Mines de Nantes forme en quatre ans des ingénieurs compétents en génie des systèmes industriels qui ma? trisent les méthodes nécessaires à la conception l ? étude le développement et la maintenance des systèmes de production Pour développer cet ensemble de compétences l ? École des Mines de Nantes axe son enseignement sur trois domaines majeurs ?? l ? informatique et les systèmes de communication ?? l ? automatique et la productique ?? les sciences de l ? homme et la société Ces trois domaines s ? enrichissent et se déclinent dans le cadre des options en quatrième année Les quatre années d ? enseignement se décomposent en ?? un tronc commun dispensé pendant les deux premières années