|
8h-9h30 |
9h45-11h15 |
11h30-13h |
12/09
|
|
C1 : rappels de logique pour Prolog |
C2 : débuts en Prolog |
19/09
|
|
C3 : listes |
|
26/09
|
|
TP1 : débuts en Prolog, listes |
suite TP1 |
03/10
|
|
C4 : tris et arbres en classe inversée |
TP2 : tris, arbres |
10/10
|
|
TP3 : cryptarithmétique, zèbre |
suite TP3 |
17/10
|
|
retour TP3, test CC, C5 : sortir de Prolog pur |
C6 coupure |
24/10
|
TD soutien |
TP4 : labyrinthe, coupure |
suite TP4 |
| 31/10 |
Vacances |
d'automne |
|
07/11
|
|
TP5 : TP de contrôle |
TD correction du TP de contrôle |
| 14/11 |
|
C7 : applications d'Intelligence Artificielle |
|
| 21/11 |
|
TP6 : recherche dans un graphe d'états |
suite TP6 |
| 28/11 |
|
TP7 : CSP |
suite TP7 |
| 05/12 |
|
TD révisions |
|
| 12/12 |
|
CCF |
|