Contenu
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.
|
