Ce module donnera aux étudiants de master la maîtrise des techniques de manipulation symbolique de l'information nécessaires pour modéliser les raisonnements en intelligence artificielle ou en base de données. Ces techniques font désormais partie de la panoplie des outils dont dispose l'ingénieur logiciel. Elles sont utiles aussi bien pour effectuer une carrière de programmeur ou d'ingénieur dans l'industrie, que pour poursuivre dans une thèse de doctorat.
