M2 Informatique parcours Informatique

L'Intelligence Artificielle Symbolique vise à reproduire et automatiser la Représentation des Connaissances et le Raisonnement au moyens de formalismes tels que la Logique, les ontologies ou encore le web sémantique. En particulier, l'Intelligence Artificielle Symbolique trouve son utilité dans des domaines ou les connaissances en causes sont complexes et parfois fragmentées comme c'est le cas pour la fusion et la révision de connaissances.

Ce cours aborde le domaine scientifique de la Recherche d'Information aux travers de ses fonctionnalités, modèles,  métriques d'évaluation et outils.

Ce cours présente les protocoles récents utilisés en cryptographie ainsi que ceux destinés à résister à l'ordinateur quantique

 Introduction à la cryptographie.