Élément chimiquevignette| redresse=1.6| Échantillons des corps simples, classés selon le tableau périodique. Ceux qui manquent dans le tableau sont trop radioactifs pour être présentés en toute sécurité. Un élément chimique est la classe des atomes dont le noyau compte un même nombre de protons. Ce nombre, noté Z, est le numéro atomique de l'élément, qui détermine la configuration électronique des atomes correspondants, et donc leurs propriétés physicochimiques. Ces atomes peuvent en revanche compter un nombre variable de neutrons dans leur noyau, ce qu'on appelle des isotopes.
TransactinideOn qualifie de transactinide tout élément chimique dont le numéro atomique est supérieur à celui du lawrencium (103), le dernier des actinides. Les transactinides sont également appelés éléments superlourds. Ce sont, par définition, également des transuraniens, ayant un numéro atomique supérieur à celui de l'uranium (92).
Multiplieur-accumulateurEn programmation, à l'origine en traitement numérique du signal, l'opération combinée multiply–accumulate (MAC) ou multiply-add (MAD) est une instruction-machine qui calcule le produit de deux nombres et agrège le résultat au contenu d'un accumulateur. Le circuit électronique qui réalise cette opération est appelé « multiplieur-accumulateur » ; l'opération elle-même est souvent abrégée en MAC ou « opération MAC.
Chemical symbolChemical symbols are the abbreviations used in chemistry for chemical elements, functional groups and chemical compounds. Element symbols for chemical elements normally consist of one or two letters from the Latin alphabet and are written with the first letter capitalised. Earlier symbols for chemical elements stem from classical Latin and Greek vocabulary. For some elements, this is because the material was known in ancient times, while for others, the name is a more recent invention.
Intel 8086L'Intel 8086 (également appelé iAPX 86) est un microprocesseur CISC 16 bits fabriqué par Intel à partir de 1978. C'est le premier processeur de la famille x86, qui est devenue l'architecture de processeur la plus répandue dans le monde des ordinateurs personnels, stations de travail et serveurs informatiques en raison du choix d'IBM de l'utiliser comme base de l'IBM PC sorti quelques années après. Son principal concurrent était le Motorola 68000 sorti en 1979 et notamment utilisé dans les Apple Macintosh.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
DubniumLe dubnium est l'élément chimique de numéro atomique 105, de symbole Db. C'est un élément transactinide synthétique, dont tous les isotopes connus sont hautement radioactifs, de période inférieure à 2 jours. Le dubnium n'a encore aucune application, et on connaît peu ses propriétés. Le dubnium (d'après la ville de Doubna, en Russie) fut synthétisé pour la première fois en 1967 par l'Institut unifié de recherches nucléaires (JINR), par l'équipe de Georgi Nikolaievitch Flerow, à Doubna.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Processeur basé sur la pileCertains processeurs utilisent non pas des registres pour conserver les données, mais une ou plusieurs piles. Les instructions prennent alors pour opérandes les premiers éléments de la pile. Dans un tel processeur, les instructions (addition, multiplication, chargement d'une valeur en mémoire...) utilisent généralement les deux premiers éléments de la pile. On trouve aussi des instructions de manipulation de pile, par exemple permettant de supprimer un élément, ou d'inverser certains d'entre eux.
AstateL'astate est un radioélément, de symbole At et de numéro atomique 85. C'est le plus rare des éléments chimiques hors transuraniens trouvés naturellement dans la croûte terrestre, où il est produit par décroissance radioactive d'éléments plus lourds. Tous les isotopes de l'astate ont des demi-vies courtes, le moins instable est l'astate 210 avec une période radioactive de . Un échantillon visible de l'élément pur n'a jamais été produit mais tout spécimen macroscopique serait rapidement vaporisé par la chaleur résultant de sa propre radioactivité.
