Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Nombre de masse441px|droite Le nombre de masse (A) est le terme employé en chimie et en physique pour représenter le nombre de nucléons, c'est-à-dire la somme du nombre de protons (numéro atomique Z) et du nombre de neutrons (N) constituant le noyau d'un atome. Par exemple, le noyau du carbone 12 (12C) compte 6 protons et 6 neutrons, son nombre de masse est donc 12 (6 + 6). C'est ce nombre qui détermine la variété isotopique d'un élément chimique. On appelle isotopes des éléments chimiques ayant un même numéro atomique, mais un nombre de neutrons et donc un nombre de masse différents.
Clôture (mathématiques)On parle de clôture ou de fermeture en mathématiques dans des contextes très divers. Quelques exemples sont listés ci-dessous. En mathématiques, on dit qu'une partie A d'un ensemble E est stable (ou close) pour une opération définie sur E si cette opération, appliquée à des éléments de A, produit toujours un élément de A. Par exemple, l'ensemble des nombres réels est stable par soustraction, tandis que l'ensemble des entiers naturels ne l'est pas (la différence de deux entiers naturels est parfois un entier relatif strictement négatif).
Charged particleIn physics, a charged particle is a particle with an electric charge. It may be an ion, such as a molecule or atom with a surplus or deficit of electrons relative to protons. It can also be an electron or a proton, or another elementary particle, which are all believed to have the same charge (except antimatter). Another charged particle may be an atomic nucleus devoid of electrons, such as an alpha particle. A plasma is a collection of charged particles, atomic nuclei and separated electrons, but can also be a gas containing a significant proportion of charged particles.
AnyonEn physique quantique, un anyon est un type de particule propre aux systèmes à deux dimensions. Ni boson ni fermion, l'anyon en est une généralisation. Prédits et théorisés depuis plus de quatre décennies, les premières preuves expérimentales de l'existence des anyons ne datent que de 2020. Le concept d'anyon est utile lorsqu’on s’intéresse à un système à deux dimensions tel que le graphène ou l’.
Particle beamA particle beam is a stream of charged or neutral particles. In particle accelerators, these particles can move with a velocity close to the speed of light. There is a difference between the creation and control of charged particle beams and neutral particle beams, as only the first type can be manipulated to a sufficient extent by devices based on electromagnetism. The manipulation and diagnostics of charged particle beams at high kinetic energies using particle accelerators are main topics of accelerator physics.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Audit interneL'audit interne est une activité indépendante qui permet de donner des conseils à une organisation L'audit interne est exercé dans différents environnements juridiques et culturels ainsi que dans des organisations dont l'objet, la taille, la complexité et la structure sont divers. Parfois aussi appelé inspection générale, l'audit interne se structure aujourd'hui autour d'un ensemble de bonnes pratiques professionnelles partagées au niveau international.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
