|
Organisation de l'UE
Supports pédagogiques
|
Planning
des cours, TD et TP pour le semestre d'automne 2024
Modalités de
contrôle des connaissances (à discuter au premier
cours) :
Les compétences à acquérir dans cette UE sont les suivantes :
- C1 Interroger une base de faits Prolog
- C2 Ecrire en Prolog un prédicat récursif (par exemple un parcours de liste)
- C3 Utiliser la recherche dans un graphe d'états pour résoudre un problème
- C4 Résoudre un problème de satisfaction de contraintes
La note de l'UE est la moyenne des notes suivantes :
- test de positionnement (coefficient 15) | Compétences C1 et C2
- TP noté en conditions d'examen (TP 5,
coefficient 25) | Compétences C1, C2 et C4 (spécifique)
- TP 6 (coefficient 10) | Compétences C1, C2 et C3
- TP 7 (coefficient 10) | Compétences C1, C2 et C4 (général)
- épreuve écrite en amphi après le
dernier cours (coefficient 40) | Compétences C1, C2, C3 et C4
|