• AgoraVox sur Twitter
  • RSS
  • Agoravox TV
  • Agoravox Mobile


Commentaire de Christophe

sur Le vote électronique en question


Voir l'intégralité des commentaires de cet article

Christophe Christophe 18 avril 2007 22:19

@Marsu,

J’ai beaucoup travaillé sur les modèles de sécurité formels exprimés en logique déontique (SDL) , épistémique, ...

Le modèle de non déduction est un modèle logique utilisant ce qui est connu vulgairement sous le nom de Théorie de l’information de Shannon que l’on retrouve dans l’ouvrage C. Shannon and E. Weaver. The Mathematical Theory of Communication. University of Illinois Press, Urbana, IL, 1963. Cette approche logique a pour but de surveiller l’activité dynamique d’un ordinateur.


Voir ce commentaire dans son contexte





Palmarès