Architecture des Ordinateurs, corrigé TD 4 - myplatform
1. Traduisez les énoncés suivants en formules de la logique des prédicats (on donnera `a chaque fois l'interprétation des prédicats utilisés ? par exemple A ...
1. Traduisez les énoncés suivants en formules de la logique des prédicats (on donnera `a chaque fois l'interprétation des prédicats utilisés ? par exemple A ...