Visitor

Views

DIU Bloc 1 - Correction des programmes: spécifications, invariants ...

Exercice 2 ? On se donne un langage comprenant l'égalité ainsi qu'un autre symbole de relation binaire R. Soit la formule ?x,?y, R(x, y) ? x = y. 1. Cette ...