[article]
| 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/ [...] |
in Techniques de l'ingénieur AFM > Vol. AFM1 (Trimestriel) . - 1-12 p.
[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/ [...] |
|
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheAlgèbre de boole in Techniques de l'ingénieur AFM, Vol. AFM1 (Trimestriel)
