 | Programme d’études 2018-2019 | English | |
 | Programmation logique | ||
Unité d’enseignement du programme de Master en sciences informatiques à 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 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
L'historique de la programmation logique.
Les fondements théoriques de la programmation logique, et la relation avec la logique mathématique.
Les concepts et structures de contrôle et de données en programmation logique.
La syntaxe et la sémantique du langage de programmation Prolog.
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 |
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é |