 | Programme d’études 2020-2021 | English | |
 | Programmation logique | ||
Unité d’enseignement du programme de Bachelier en sciences mathématiques à la Faculté des Sciences |
| Les étudiants sont invités à consulter les fiches ECTS des AA pour prendre connaissance des modalités d’évaluation spéciales Covid-19 éventuellement prévues pour la fin du Q3 |
|---|
| Code | Type | Responsable | Coordonnées du service | Enseignant(s) |
|---|---|---|---|---|
| US-B3-SCMATH-014-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
- Comprendre et produire des raisonnements rigoureux en mathématiques.
- Pouvoir utiliser le vocabulaire mathématique et le formalisme à bon escient.
- Etre capable de s'appuyer sur un dessin pour éclairer une notion, un raisonnement,...
- Résoudre des problèmes nouveaux.
- Utiliser les connaissances issues de différents domaines pour traiter des questions.
- Utiliser efficacement l'outil informatique.
- Capacité à comprendre un algorithme et à l'implémenter en utilisant des structures de données adéquates.
- Connaissance d'au moins un langage de programmation.
- Pouvoir développer des programmes informatiques pour résoudre des problèmes ayant une formulation mathématique.
- Pourvoir aborder la littérature et dialoguer avec les autres sciences.
- Avoir une bonne connaissance d'un domaine connexe utilisant les mathématiques.
Acquis d'apprentissage UE
À l'issue de cet apprentissage, les étudiants:
- seront capables d'utiliser le paradigme de programmation logique, et de comprendre ses caractéristiques principales;
- auront une expérience pratique avec la programmation logique, principalement en utilisant le langage de programmation Prolog;
- auront compris les notions de base de la programmation logique par contraintes.
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
| AA | Types d'activités |
|---|---|
| S-INFO-804 |
|
Mode d'enseignement
| AA | Mode d'enseignement |
|---|---|
| S-INFO-804 |
|
Supports principaux
| AA | |
|---|---|
| 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
| AA | |
|---|---|
| S-INFO-804 |
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 | - I. Bratko. Prolog Programming for artificial intelligence, Addison-Wesley, 2011 - L. Sterling, E. Shapiro. The Art of Prolog: Advanced Programming Techniques, MIT Press, 1994 - Blackburn, Bos & Striegnitz. Prolog, tout de suite ! 2006 |
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 | Autorisé |