THÈSE DEVANT L'UNIVERSITÉ DE RENNES 1 DOCTEUR DE L ...
Termes manquants :
Mozaïc: plate-forme générique de modélisation et de conception d ...L'algèbre de Boole B définie par : ? |B|Bool = {0,1}. ? TrueB = 1. ? FalseB = 0. ? ?B = et : {(0,0) 7? 0, (0,1) 7? 0, (1,0) 7? 0, (1,1) 7 ... L.M.D. LICENCE ACADEMIQUEest vraie lorsque l'algèbre est complémentée (algèbre de Boole), c'est à dire dans des cadres classiques, où l'on a une négation ... Informatiquedst
Autres Cours:
