Examen 2013 avec corrigé - LRI 19 déc. 2013 ... Il existe un algorithme qui étant donnée une formule du calcul des prédicats
répond vrai ... Exercice 2 Logique propositionnelle (7 points).
IHM Polytech - LRI Ceci est le site du cours Interaction Homme-Machine. ... Groupe 1 de TD (avec
Marc) est aussi exceptionnellement déplacé vers le vendredi 21 de 15h45 à ...