 | Programme d’études 2022-2023 | English | |
 | Programmation logique | ||
Unité d’enseignement du programme de Master en sciences informatiques (MONS) (Horaire jour) à la Faculté des Sciences |
| Code | Type | Responsable | Coordonnées du service | Enseignant(s) |
|---|---|---|---|---|
| US-M1-SCINFO-056-M | UE optionnelle | MENS Tom | S852 - Génie Logiciel |
|
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Crédits | Pondération | Période d’enseignement |
|---|---|---|---|---|---|---|---|---|---|
| Français | 15 | 0 | 15 | 0 | 0 | 3 | 3.00 | 2e quadrimestre |
| Code(s) d’AA | Activité(s) d’apprentissage (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement | Pondération |
|---|---|---|---|---|---|---|---|---|
| S-INFO-804 | Programmation logique | 15 | 0 | 15 | 0 | 0 | Q2 | 100.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 fort degré d'autonomie
- -Poursuivre sa formation et développer de nouvelles compétences de façon autonome
Acquis d'apprentissage de l'UE
La programmation logique est un paradigme de programmation qui est en grande partie basée sur la logique formelle. A l'issue de cet apprentissage, les étudiants:
- seront capables d'utiliser le paradigme de programmation logique, et de comprendre ses caractéristiques principales;
- auront acquis une expérience pratique avec la programmation logique en utilisant le langage de programmation Prolog;
- auront compris les notions de base de la programmation logique par contraintes.
Contenu de l'UE : descriptif et cohérence pédagogique
La programmation logique permet de programmer des applications logicielles en se basant 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, notamment 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
Avoir une connaissance de base en programmation. Avoir de l'expérience pratique avec au moins un langage de programmation.
Types d'activités
| AA | Types d'activités |
|---|---|
| S-INFO-804 |
|
Mode d'enseignement
| AA | Mode d'enseignement |
|---|---|
| S-INFO-804 |
|
Supports principaux non reproductibles
| AA | Supports principaux non reproductibles |
|---|---|
| S-INFO-804 | Tous les supports principaux du cours seront disponible sur Moodle, la plateforme e-learning de l'UMONS. |
Supports complémentaires non reproductibles
| AA | Support complémentaires non reproductibles |
|---|---|
| S-INFO-804 | Tous les supports complémentaires du cours seront disponible sur Moodle, la plateforme e-learning de l'UMONS. |
Autres références conseillées
| AA | Autres références conseillées |
|---|---|
| S-INFO-804 | Les références conseillés seront indiqués dans le support du cours. |
Reports des notes d'AA d'une année à l'autre
| AA | Reports des notes d'AA d'une année à l'autre |
|---|---|
| S-INFO-804 | Non autorisé |
Evaluation du quadrimestre 2 (Q2) - type
| AA | Type(s) et mode(s) d'évaluation Q2 |
|---|---|
| S-INFO-804 |
|
Evaluation du quadrimestre 2 (Q2) - commentaire
| AA | Commentaire sur l'évaluation Q2 |
|---|---|
| S-INFO-804 | Voir l'évaluation de l'UE correspondante. |
Evaluation du quadrimestre 3 (Q3) - type
| AA | Type(s) et mode(s) d'évaluation du Q3 |
|---|---|
| S-INFO-804 |
|
Evaluation du quadrimestre 3 (Q3) - commentaire
| AA | Commentaire sur l'évaluation Q3 |
|---|---|
| S-INFO-804 | Voir l'évaluation de l'UE correspondante. |