Algèbre de Boole (structure)vignette|Exemple d'algèbre de Boole : l'ensemble des parties de l'ensemble {x, y, z} illustré par son diagramme de Hasse. En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique. Une algèbre de Boole peut être définie soit comme une structure ordonnée particulière, soit comme une structure algébrique particulière, soit comme un anneau (unitaire) dont tout élément égale son carré.
Algèbre de Boole (logique)Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.
Potentiel d'oxydoréductionLe potentiel d'oxydoréduction, ou potentiel redox, est une grandeur empirique exprimée en volts et généralement notée (ou, pour le potentiel redox standard, E(M/M) où M désigne un métal quelconque). Ce potentiel est exprimé par rapport à une référence, souvent mesurée par une électrode normale à hydrogène (ENH, d'où l'unité V/ENH rencontrée dans certains ouvrages). Cette mesure est appliquée aux couples d'oxydoréduction pour prévoir la réactivité des espèces chimiques entre elles.
Complete Boolean algebraIn mathematics, a complete Boolean algebra is a Boolean algebra in which every subset has a supremum (least upper bound). Complete Boolean algebras are used to construct Boolean-valued models of set theory in the theory of forcing. Every Boolean algebra A has an essentially unique completion, which is a complete Boolean algebra containing A such that every element is the supremum of some subset of A. As a partially ordered set, this completion of A is the Dedekind–MacNeille completion.
Voltampérométrie cycliqueLa voltampérométrie cyclique (ou voltammétrie cyclique) est une technique électrochimique dans laquelle on enregistre la réponse en courant résultant d'une variation continue du potentiel de l'électrode de travail sur laquelle se produit la réaction électrochimique étudiée. On parle de voltampérométrie cyclique parce que le potentiel est varié, à vitesse constante, de façon répétée entre deux bornes, appelées "potentiels d'inversion". On appelle "cycle", un aller-retour entre les deux bornes.
Potentiel électrochimique de membraneToute cellule biologique est entourée d'une membrane dite membrane plasmique. Cette membrane est relativement imperméable aux espèces électriquement chargées telles que les ions et aux molécules qui peuvent participer à l'activité électrochimique (molécules polaires) telles que l'eau. Elle présente ainsi une grande résistance électrique et forme en quelque sorte un dipôle (comme un condensateur). Grâce à ces propriétés, la membrane sépare en deux compartiments étanches l'intérieur de la cellule, le cytoplasme, de l'extérieur de la cellule, le milieu extracellulaire.
VoltampérométrieLa voltampérométrie (ou voltammétrie) est une méthode d’électroanalyse basée sur la mesure du flux de courant résultant de la réduction ou de l’oxydation des composés tests présents en solution sous l’effet d’une variation contrôlée de la différence de potentiel entre deux électrodes spécifiques. Elle permet d’identifier et de mesurer quantitativement un grand nombre de composés (cations, certains anions, composés organiques), dont certains simultanément, et également d’étudier les réactions chimiques incluant ces composés.
Boolean-valued modelIn mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to "true" and "false", but instead take values in some fixed complete Boolean algebra. Boolean-valued models were introduced by Dana Scott, Robert M. Solovay, and Petr Vopěnka in the 1960s in order to help understand Paul Cohen's method of forcing. They are also related to Heyting algebra semantics in intuitionistic logic.
Fonction booléennevignette|Arbre de décision binaire Une fonction booléenne est une fonction prenant en entrée une liste de bits et donnant en sortie un unique bit. Les fonctions booléennes sont très utilisées en informatique théorique, notamment en théorie de la complexité et en cryptologie (par exemple dans les boîtes-S et les chiffrements par flot -- fonction de filtrage ou de combinaison de registres à décalage à rétroaction linéaire). Une fonction booléenne est une fonction de dans où désigne le corps fini à 2 éléments.
Standard electrode potentialIn electrochemistry, standard electrode potential , or , is a measure of the reducing power of any element or compound. The IUPAC "Gold Book" defines it as: "the value of the standard emf (electromotive force) of a cell in which molecular hydrogen under standard pressure is oxidized to solvated protons at the left-hand electrode". The basis for an electrochemical cell, such as the galvanic cell, is always a redox reaction which can be broken down into two half-reactions: oxidation at anode (loss of electron) and reduction at cathode (gain of electron).
