|Ce module donnera aux étudiants de master informatique les fondements |
|logiques nécessaires pour aborder la modélisation du raisonnement, la |
|représentation des connaissance, la formalisation de problèmes et la  |
|spécification de programmes, toutes connaissances indispensables en   |
|intelligence artificielle, en bases de données, en recherche opé      |
|rationnelle et en algorithmique. De plus, il initiera les étudiants à |
|la programmation logique et au langage PROLOG.                        |