Accumulateur (informatique)En informatique, un accumulateur est un registre spécial, incorporé dans certaines architectures de processeur, où les résultats intermédiaires de l'UAL, ou ALU en anglais (arithmetic logical unit), sont stockés. Sans accumulateur, il faudrait verser le résultat de l'UAL dans la mémoire centrale, puis le recharger pour effectuer l'opération suivante dont le résultat serait à son tour versé dans la mémoire centrale, etc.
HassiumLe hassium (symbole Hs) est l'élément chimique de numéro atomique 108. Il a été synthétisé pour la première fois en 1984 par la réaction au Gesellschaft für Schwerionenforschung (GSI) de Darmstadt, en Allemagne. L'IUPAC avait proposé en 1994 de le nommer hahnium (Hn) en hommage à Otto Hahn, mais la proposition initiale de l'équipe du GSI a finalement prévalu, et cet élément reçut son nom définitif en 1997, en référence au nom latin du Land de Hesse, où se trouve Darmstadt.
Groupe 13 du tableau périodiqueLe groupe 13 du tableau périodique, autrefois appelé groupe B dans l'ancien système IUPAC utilisé en Europe et groupe A dans le système CAS nord-américain, contient les éléments chimiques de la , ou groupe, du tableau périodique des éléments : {| class="wikitable" style="text-align:left" |- ! Période ! colspan="2" | Élément chimique ! Z ! Famille d'éléments ! Configuration électronique |- | style="text-align:center" | 2 ! B | Bore | style="text-align:right" | 5 | Métalloïde | |- | style="text-align:center" |
Informatique durableLinformatique durable, linformatique verte, le numérique éco-responsable, ou encore le green IT (appellation officielle en français : éco-TIC) est un ensemble de techniques visant à réduire l’empreinte sociale, économique et environnementale du numérique. Dans le domaine des technologies de l'information et de la communication (TIC), elle conçoit ou recourt à des écotechniques afin de diminuer les impacts que les TIC font subir à l'environnement au cours de leur cycle de vie.
Fortranvignette|Supercalculateur IBM Blue Gene/P.|240x240px vignette|300x300px|Simulation en Fortran de l'accrétion autour d'un trou noir (www.bhac.science). Densité à gauche et densité d'énergie magnétique à droite (zoom). Fortran (mathematical mula slating system) est un langage de programmation généraliste dont le domaine de prédilection est le calcul scientifique et le calcul numérique. Instruction set architectureIn computer science, an instruction set architecture (ISA), also called computer architecture, is an abstract model of a computer. A device that executes instructions described by that ISA, such as a central processing unit (CPU), is called an implementation. In general, an ISA defines the supported instructions, data types, registers, the hardware support for managing main memory, fundamental features (such as the memory consistency, addressing modes, virtual memory), and the input/output model of a family of implementations of the ISA.
Structural proof theoryIn mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof, a kind of proof whose semantic properties are exposed. When all the theorems of a logic formalised in a structural proof theory have analytic proofs, then the proof theory can be used to demonstrate such things as consistency, provide decision procedures, and allow mathematical or computational witnesses to be extracted as counterparts to theorems, the kind of task that is more often given to model theory.
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).
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
MOS Technology 6502vignette|Circuit intégré d'un microprocesseur MOS Technology 6502. Le MOS Technology 6502 est un microprocesseur 8 bits conçu par MOS Technology en 1975. Quand il fut présenté, il était de loin le processeur le plus économique sur le marché, à environ 1/6 du prix, concurrençant de plus grandes compagnies telles que Motorola ou Intel. Il était néanmoins plus rapide que la plupart d'entre eux, et avec le Zilog Z80, brilla dans une série de projets d'ordinateurs qui furent par la suite la source de la révolution des ordinateurs personnels dans les années 1980.
