Programme d’études 2019-2020English
Programmation logique
Unité d’enseignement du programme de Master en sciences informatiques à la Faculté des Sciences

Les étudiants sont invités à consulter les fiches ECTS des AA pour prendre connaissance des modalités d’évaluation prévues pour la fin du Q3

CodeTypeResponsable Coordonnées
du service
Enseignant(s)
US-M1-INFO60-024-MUE optionnelleMENS TomS852 - Génie Logiciel
  • MENS Tom

Langue
d’enseignement
Langue
d’évaluation
HT(*) HTPE(*) HTPS(*) HR(*) HD(*) CréditsPondération Période
d’enseignement
  • Français
Français150150033.002e quadrimestre

Code(s) d’AAActivité(s) d’apprentissage (AA) HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Période
d’enseignement
Pondération
S-INFO-804Programmation logique1501500Q2100.00%

Unité d'enseignement

Objectifs par rapport aux acquis d'apprentissage du programme

  • Avoir acquis des connaissances hautement spécialisées et intégrées et des compétences larges dans les diverses disciplines des sciences informatiques, qui font suite à celles relevant du niveau de bachelier en sciences informatiques
  • Développer et intégrer un grand degré d'autonomie
    • -Poursuivre sa formation et développer de nouvelles compétences de façon autonome

Acquis d'apprentissage UE

A l'issue de cet apprentissage, les étudiants seront capables d'utiliser le paradigme de programmation logique, et de comprendre ses caractéristiques principales. Les étudiants auront une expérience pratique avec la programmation logique, principalement en utilisant le langage de programmation Prolog.

Contenu de l'UE

La programmation logique est une façon de programmer des applications logicielles qui est basée sur le formalisme de la logique mathématique. Un programme logique est décrit de manière déclarative plutôt qu'impérative, en définissant un ensemble de règles logiques et de faits logiques qui sont interpretées par un moteur d'inference qui s'occupe de trouver toutes les solutions possibles au problème décrit. La programmation logique est particulièrement adaptée aux besoins de l'intelligence artificielle, dont elle est un des principaux outils. Lors du cours on apprendra les concepts principaux de la programmation logique, tels que l'unification, la résolution, le backtracking et d'autres aspects plus avancés. On étudiera aussi une variante plus poussée de la programmation logique, notammant la programmation par contraintes. Le langage Prolog sera utilisé tout au long du cours pour mettre en pratique les concepts étudiés.

Compétences préalables

Connaissance de base d'au moins un autre langage de programmation.
Expérience pratique avec au moins un autre langage de programmation.

Types d'évaluations Q2 pour l'UE

  • Examen écrit

Commentaire sur les évaluations Q2 de l'UE

Un examen écrit couvrant les aspects théoriques et pratiques du cours, et couvrant 100% de la note finale du cours.

Types d'évaluation Q3 pour l'UE

  • Examen écrit

Commentaire sur les évaluations Q3 de l'UE

Un examen écrit couvrant les aspects théoriques et pratiques du cours, et couvrant 100% de la note finale du cours.

Types d'activités

AATypes d'activités
S-INFO-804
  • Cours magistraux
  • Conférences
  • Préparations, travaux, recherches d'information

Mode d'enseignement

AAMode d'enseignement
S-INFO-804
  • Face à face

Supports principaux

AA
S-INFO-804

Supports principaux non reproductibles

AASupports principaux non reproductibles
S-INFO-804Tous les supports principaux du cours seront disponible sur Moodle, la plateforme e-learning de l'UMONS.

Supports complémentaires

AA
S-INFO-804

Supports complémentaires non reproductibles

AASupport complémentaires non reproductibles
S-INFO-804Tous les supports complémentaires du cours seront disponible sur Moodle, la plateforme e-learning de l'UMONS.

Autres références conseillées

AAAutres références conseillées
S-INFO-804- I. Bratko. Prolog Programming for artificial intelligence, Addison-Wesley, 2011
- L. Sterling, E. Shapiro. The Art of Prolog: Advanced Programming Techniques, MIT Press, 1994

Reports des notes d'AA d'une année à l'autre

AAReports des notes d'AA d'une année à l'autre
S-INFO-804Non autorisé
(*) HT : Heures théoriques - HTPE : Heures de travaux pratiques encadrés - HTPS : Heures de travaux pratiques supervisés - HD : Heures diverses - HR : Heures de remédiation - Dans la colonne Pér. (Période), A=Année, Q1=1er quadrimestre et Q2=2e quadrimestre
Date de génération : 13/07/2020
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be