info5r12 - Logique et modélisation

Nombre de crédits

5

Pré-requis

Parcours

• spécialité recherche informatique de la mention informatique du master

Objectifs

L'objectif de ce cours sera d'étudier quelques fondements de la logique comme langage de spécification, de description, mais aussi de requête, le domaine d'applications visé étant essentiellement les données semi-structurées, qu'elles soient arborescentes (XML) ou qu'elles aient une structure de graphe (Bases de Données, Web...).

Organisation

Volume de travail personnel étudiant estimé

Contrôle et validation des connaissances

Description du contenu

• Logique du premier ordre, application à l'algèbre relationnelle et SQL
• Logique de description (PDL), application à la représentation des connaissances
• Langages de requêtes, contraintes de chemins; application aux données semi-structurées
• Logique des ambients; application aux données à structure arborescentes
• Logique monadique et automates d'arbres.

Responsable(s)

Anne-Cécile Caron, Jean-Marc Talbot, Sophie Tison

fichier source pour édition/modification