Université Lyon 1 - Licence Sciences et Technologies

UE LIFprolog : Programmation Logique (INF2013L)

Contact : Nathalie Guin

 

Organisation de l'UE

Supports pédagogiques

 

 


Printemps 2024


8h-9h30 9h45-11h15 11h30-13h
25/01
C1 : rappels de logique pour Prolog C2 : débuts en Prolog
01/02


08/02 C3 : listes TP1, débuts en Prolog, listes suite TP1
15/02
C4 : tris et arbres en classe inversée TP2 : tris, arbres
22/02
TP3 : cryptarithmétique, zèbre suite TP3
29/02 Vacances d'hiver

07/03
retour TP3, test CC, C5 : sortir de Prolog pur C6 coupure
14/03 TD soutien TP4 : labyrinthe, coupure suite TP4
21/03
TP5 : TP de contrôle TD correction du TP de contrôle
28/03
C7 : applications d'Intelligence Artificielle
04/04
TP6 : recherche dans un graphe d'états suite TP6
11/04
TP7 : CSP suite TP7
18/04
TD révisions
20/04 Vacances
de printemps
29/04-17/05
ECA

 

Dernière modification de la page le 9 avril, 2021