Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
ProtonLe proton est une particule subatomique portant une charge électrique élémentaire positive. Les protons sont présents dans les noyaux atomiques, généralement liés à des neutrons par l'interaction forte (la seule exception, mais celle du nucléide le plus abondant de l'univers, est le noyau d'hydrogène ordinaire (protiumH), un simple proton). Le nombre de protons d'un noyau est représenté par son numéro atomique Z. Le proton n'est pas une particule élémentaire mais une particule composite.
Microscope électroniquethumb|Microscope électronique construit par Ernst Ruska en 1933.thumb|Collection de microscopes électroniques anciens (National Museum of Health & Medicine). Un microscope électronique (ME) est un type de microscope qui utilise un faisceau d'électrons pour illuminer un échantillon et en créer une très agrandie. Il est inventé en 1931 par des ingénieurs allemands. Les microscopes électroniques ont un pouvoir de résolution supérieur aux microscopes optiques qui utilisent des rayonnements électromagnétiques visibles.
Désintégration du protonEn physique des particules, la désintégration du proton désigne un mode hypothétique de décroissance radioactive dans laquelle le proton se désintègre en des particules subatomiques plus légères, comme le pion neutre et le positron. Il n'existe actuellement aucune preuve expérimentale indiquant que la désintégration du proton se produise ; ce qui place la demi-vie théorique du proton à une valeur supérieure à 10 années. Dans le modèle standard, les protons (un type de baryon), sont théoriquement stables parce que le nombre baryonique est censé se conserver.
Microscopie électronique en transmissionvignette|upright=1.5|Principe de fonctionnement du microscope électronique en transmission. vignette|Un microscope électronique en transmission (1976). La microscopie électronique en transmission (MET, ou TEM pour l'anglais transmission electron microscopy) est une technique de microscopie où un faisceau d'électrons est « transmis » à travers un échantillon très mince. Les effets d'interaction entre les électrons et l'échantillon donnent naissance à une image, dont la résolution peut atteindre 0,08 nanomètre (voire ).
Diffraction des électronsLa diffraction des électrons est une technique utilisée pour l'étude de la matière qui consiste à bombarder d'électrons un échantillon et à observer la figure de diffraction résultante. Ce phénomène se produit en raison de la dualité onde-particule, qui fait qu'une particule matérielle (dans le cas de l'électron incident) peut être décrite comme une onde. Ainsi, un électron peut être considéré comme une onde, comme pour le son ou les vagues à la surface de l'eau. Cette technique est similaire à la diffraction X et à la diffraction de neutrons.
ÉlectronL'électron, un des composants de l'atome avec les neutrons et les protons, est une particule élémentaire qui possède une charge élémentaire de signe négatif. Il est fondamental en chimie, car il participe à presque tous les types de réactions chimiques et constitue un élément primordial des liaisons présentes dans les molécules. En physique, l'électron intervient dans une multitude de rayonnements et d'effets.
Microscopie électronique à balayagethumb|right|Premier microscope électronique à balayage par M von Ardenne thumb|right|Microscope électronique à balayage JEOL JSM-6340F thumb|upright=1.5|Principe de fonctionnement du Microscope Électronique à Balayage La microscopie électronique à balayage (MEB) ou scanning electron microscope (SEM) en anglais est une technique de microscopie électronique capable de produire des images en haute résolution de la surface d’un échantillon en utilisant le principe des interactions électrons-matière.
Champ électriquethumb|Champ électrique associé à son propagateur qu'est le photon. right|thumb|Michael Faraday introduisit la notion de champ électrique. En physique, le champ électrique est le champ vectoriel créé par des particules électriquement chargées. Plus précisément, des particules chargées modifient les propriétés locales de l'espace, ce que traduit justement la notion de champ. Si une autre charge se trouve dans ce champ, elle subira l'action de la force électrique exercée à distance par la particule : le champ électrique est en quelque sorte le "médiateur" de cette action à distance.
Lithographie à faisceau d'électronsL'utilisation d'un faisceau d'électrons pour tracer des motifs sur une surface est connue sous le nom de lithographie par faisceau d'électrons. On parle également de lithographie électronique. Par rapport à la photolithographie, l'avantage de cette technique est qu'elle permet de repousser les limites de la diffraction de la lumière et de dessiner des motifs avec une résolution pouvant aller jusqu'au nanomètre. Cette forme de lithographie a trouvé diverses formes d'application dans la recherche et l'industrie des semi-conducteurs et dans ce qu'il est convenu d'appeler les nanotechnologies.
Chaîne de transport d'électronsredresse=1.75|vignette| Schéma d'une membrane de thylakoïde montrant la chaîne formée par le , la plastoquinone, le complexe , la plastocyanine, le et la réductase assurant les réactions de la photosynthèse dépendantes de la lumière, couplée à l'ATP synthase par un gradient de concentration de protons dans le cadre d'un processus global appelé photophosphorylation. redresse=1.75|vignette|Schéma d'une matrice mitochondriale montrant les complexes à de la chaîne respiratoire, couplés à l'ATP synthase par un gradient de concentration de protons dans le cadre d'un processus global appelé phosphorylation oxydative.
Electron transferElectron transfer (ET) occurs when an electron relocates from an atom or molecule to another such chemical entity. ET is a mechanistic description of certain kinds of redox reactions involving transfer of electrons. Electrochemical processes are ET reactions. ET reactions are relevant to photosynthesis and respiration and commonly involve transition metal complexes. In organic chemistry ET is a step in some commercial polymerization reactions. It is foundational to photoredox catalysis.
Ligne de champthumb|upright=1.5|Lignes de champ électrique autour de deux particules de même charges (gauche) et de charges opposées (droite). En physique et en mathématiques, afin de visualiser un champ vectoriel, on utilise souvent la notion de ligne de champ. C'est, en première approximation, le chemin que l'on suivrait en partant d'un point et en suivant les vecteurs. Ces lignes de champ sont orthogonales aux équipotentielles du même champ. La densité des lignes de champs en un point donné va dépendre de la magnitude du champ en ce point.
Guerre électroniquevignette|Le Grumman EA-6 Prowler est un avion de guerre électronique utilisé par l'US Navy vignette|Boeing EA-18G Growler reprenant la relève des EA-6 à partir de 2009. La guerre électronique consiste en l'exploitation des émissions radioélectriques d'un adversaire et, inversement consiste à l'empêcher d'en faire autant. Il s'agit donc de toutes les opérations visant à acquérir la maîtrise du spectre électromagnétique, pour intercepter et/ou brouiller les ordres ou informations circulant dans les systèmes de communication de l'adversaire.
Densité de chargeLa densité de charge électrique désigne la quantité de charge électrique par unité d'espace. Selon que l'on considère un problème à 1, 2 ou 3 dimensions, c'est-à-dire une ligne, une surface ou un volume, on parlera de densité linéique, surfacique ou volumique de charge. Leurs unités sont respectivement le coulomb par mètre (), le coulomb par mètre carré () et le coulomb par mètre cube () dans le Système international. Comme il existe des charges négatives comme des charges positives, la densité de charge peut prendre des valeurs négatives.
Champ magnétiqueEn physique, dans le domaine de l'électromagnétisme, le champ magnétique est une grandeur ayant le caractère d'un champ vectoriel, c'est-à-dire caractérisée par la donnée d'une norme, d’une direction et d’un sens, définie en tout point de l'espace et permettant de modéliser et quantifier les effets magnétiques du courant électrique ou des matériaux magnétiques comme les aimants permanents.
Charge électriqueLa charge électrique est une propriété fondamentale de la matière qui lui permet d'interagir par le biais de champs électromagnétiques. Il s'agit d'une grandeur scalaire, qui joue pour l'interaction électromagnétique le même rôle que la masse pour l'interaction gravitationnelle. Toutefois, contrairement à cette dernière, il existe deux types de charges électriques que l'on distingue par leurs signes positif ou négatif. Des charges de même signe se repoussent, tandis que celles de signes opposés s'attirent.
