Effective nuclear chargeIn atomic physics, the effective nuclear charge is the actual amount of positive (nuclear) charge experienced by an electron in a multi-electron atom. The term "effective" is used because the shielding effect of negatively charged electrons prevent higher energy electrons from experiencing the full nuclear charge of the nucleus due to the repelling effect of inner layer. The effective nuclear charge experienced by an electron is also called the core charge. It is possible to determine the strength of the nuclear charge by the oxidation number of the atom.
StellaratorLe stellarator (de stellar : stellaire, et generator : générateur) est un dispositif destiné à la production de réactions contrôlées de fusion nucléaire proche du tokamak. Le confinement du plasma est entièrement réalisé par un champ magnétique hélicoïdal créé par l'arrangement complexe de bobines autour du tore, alimentées en courants forts et appelées bobines poloïdales. Le stellarator est analogue au tokamak à la différence qu'il n'utilise pas de courant toroïdal circulant à l'intérieur du plasma pour le confiner.
Analytic proofIn mathematics, an analytic proof is a proof of a theorem in analysis that only makes use of methods from analysis, and which does not predominantly make use of algebraic or geometrical methods. The term was first used by Bernard Bolzano, who first provided a non-analytic proof of his intermediate value theorem and then, several years later provided a proof of the theorem that was free from intuitions concerning lines crossing each other at a point, and so he felt happy calling it analytic (Bolzano 1817).
Formule (mathématiques)En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines. Étant donné un ensemble E et une fonction de poids p: E →N, une formule est un mot extrait de E obtenu par les deux règles de construction suivantes : un seul élément de E de poids 0 est une formule ; si t est un élément de poids n, pour toute suite de n formules F1, F2, ...., Fn, le mot concaténé tF1F2....Fn est une formule.
Coulomb collisionA Coulomb collision is a binary elastic collision between two charged particles interacting through their own electric field. As with any inverse-square law, the resulting trajectories of the colliding particles is a hyperbolic Keplerian orbit. This type of collision is common in plasmas where the typical kinetic energy of the particles is too large to produce a significant deviation from the initial trajectories of the colliding particles, and the cumulative effect of many collisions is considered instead.
Pièges à ions de Paul et de PenningEn physique, les pièges à ions sont des dispositifs permettant de stocker des particules chargées pendant une longue durée, notamment dans le but de mesurer leurs propriétés avec précision. Les pièges de Paul et de Penning ont en commun l'utilisation d'un champ électrique quadripolaire, à haute fréquence (de l'ordre de quelques MHz) dans le piège de Paul, et constant dans le piège de Penning, où il est combiné à un champ magnétique intense (de l'ordre de 5 teslas).
Numéro atomique400px|droite Le numéro atomique (Z) représente, en chimie et en physique, le nombre de protons d'un atome. Ce dernier peut être schématisé, en première approche, par une agglomération compacte (noyau atomique) de protons (p+) et de neutrons (n), autour de laquelle circulent des électrons (e−). Dans un atome de charge électrique neutre, le nombre d'électrons est égal au numéro atomique. Comme les protons sont les seuls éléments du noyau avec une charge, le nombre de protons est égal au nombre d'électrons.
Calcul des séquentsEn logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen. Le nom de ce formalisme fait référence à un style particulier de déduction ; le système original a été adapté à diverses logiques, telles que la logique classique, la logique intuitionniste et la logique linéaire. Un séquent est une suite d'hypothèses suivie d'une suite de conclusions, les deux suites étant usuellement séparées par le symbole (taquet droit), « : » (deux-points) ou encore (flèche droite) dans l'œuvre originale de Gentzen.
Expression de forme ferméeEn mathématiques, une expression de forme fermée (également appelée expression fermée, expression de forme close, expression close ou expression explicite) est une expression mathématique pouvant s'obtenir par une combinaison de nombres ou de fonctions et d'opérations de référence. On emploie parfois le terme formule à la place du terme expression : formule de forme fermée, formule explicite, formule de forme close, etc. Le plus souvent, cette terminologie s'emploie pour des solutions d'équations ou de systèmes d'équations.
