Bases de Données - LaBRI

Ensembles, applications. Relations d'équivalence. Lois de composition (groupes). Logique élémentaire. Objectifs : ? Démontrer que ...