 | Programme d’études 2017-2018 | English | |
 | Programmation logique | ||
Unité d’enseignement du programme de Bachelier en sciences mathématiques à la Faculté des Sciences |
| 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 | 0 | 0 | 0 | 0 | 0 | 3 | 3 | 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 | 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
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
Types d'évaluation Q3 pour l'UE
- Examen écrit
Commentaire sur les évaluations Q3 de l'UE
Types d'activités
| AA | |
|---|---|
| S-INFO-804 |
Mode d'enseignement
| AA | |
|---|---|
| S-INFO-804 |
Supports principaux
| AA | |
|---|---|
| S-INFO-804 |
Supports principaux non reproductibles
| AA | |
|---|---|
| S-INFO-804 |
Supports complémentaires
| AA | |
|---|---|
| S-INFO-804 |
Supports complémentaires non reproductibles
| AA | |
|---|---|
| S-INFO-804 |
Autres références conseillées
| AA | |
|---|---|
| S-INFO-804 |
Reports des notes d'AA d'une année à l'autre
| AA | |
|---|---|
| S-INFO-804 |