Documents disponibles écrits par cet auteur

Algèbre de boole / Vuillemin, Jean in Techniques de l'ingénieur AFM, Vol. AFM1 (Trimestriel) 

Public ISBD [article]  in Techniques de l'ingénieur AFM > Vol. AFM1 (Trimestriel) . - 1-12 p. Titre : Algèbre de boole Type de document : texte imprimé Auteurs : Vuillemin, Jean, Auteur Année de publication : 2007 Article en page(s) : 1-12 p. Note générale : Mathématique pour l'ingénieur Langues : Français (fre) Mots-clés : Algèbre--Boole--Systèmes  numériques--Mathématiques Résumé : Le livre An Investigation of the Laws of Thought de George Boole donne les règles de ce qu'on appelle l'algèbre de Boole. Depuis 1854, le sujet a trouvé d'importantes applications, en mathématiques d'abord, puis en physique, en informatique et dans les télécommunications. L'algèbre de Boole fait maintenant partie des fondements théoriques de toutes ces disciplines. L'évaluation massive de formules booléennes, des milliards de fois chaque nanoseconde, par des puces électroniques, est l'une des clés de notre brave nouveau siècle numérique. La vérification automatique de formules booléennes massives (des millions de portes) est une autre clé dans la conception fiable de divers systèmes numériques critiques. Note de contenu : Bibliogr. REFERENCE : Octobre 2010 ISSN : 1776-0860 Date : AF 118 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/sciences-fondamentales-th8/ [...] [article] Algèbre de boole [texte imprimé] / Vuillemin, Jean, Auteur . - 2007 . - 1-12 p. Mathématique pour l'ingénieur Langues : Français (fre) in Techniques de l'ingénieur AFM > Vol. AFM1 (Trimestriel) . - 1-12 p. Mots-clés : Algèbre--Boole--Systèmes  numériques--Mathématiques Résumé : Le livre An Investigation of the Laws of Thought de George Boole donne les règles de ce qu'on appelle l'algèbre de Boole. Depuis 1854, le sujet a trouvé d'importantes applications, en mathématiques d'abord, puis en physique, en informatique et dans les télécommunications. L'algèbre de Boole fait maintenant partie des fondements théoriques de toutes ces disciplines. L'évaluation massive de formules booléennes, des milliards de fois chaque nanoseconde, par des puces électroniques, est l'une des clés de notre brave nouveau siècle numérique. La vérification automatique de formules booléennes massives (des millions de portes) est une autre clé dans la conception fiable de divers systèmes numériques critiques. Note de contenu : Bibliogr. REFERENCE : Octobre 2010 ISSN : 1776-0860 Date : AF 118 En ligne : http://www.techniques-ingenieur.fr/base-documentaire/sciences-fondamentales-th8/ [...]