|
|
|
|
|
|
|
|
|
|
Ce cours comprend
- un cours sur la programmation logique
- le traitement d'exemples avec le langage Prolog,
- un cours sur le calcul ensembliste
- l'implémentation sur ordinateur.
- des applications en robotique mobile.
Le seul langage autorisé sera Python.
Enoncés des exercices : 
Site de IaMooc : 