Dependence logicDependence logic is a logical formalism, created by Jouko Väänänen, which adds dependence atoms to the language of first-order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is functionally dependent on the values of . Dependence logic is a logic of imperfect information, like branching quantifier logic or independence-friendly logic (IF logic): in other words, its game-theoretic semantics can be obtained from that of first-order logic by restricting the availability of information to the players, thus allowing for non-linearly ordered patterns of dependence and independence between variables.
Mémoire flashvignette|Une clé USB en 2005. La puce de gauche est la mémoire flash, celle de droite le microcontrôleur. vignette|Un lecteur USB de cartes mémoires utilisées par exemple dans les appareils photo numériques. La mémoire flash est une mémoire de masse à semi-conducteurs réinscriptible, c'est-à-dire possédant les caractéristiques d'une mémoire vive mais dont les données ne disparaissent pas lors d'une mise hors tension. La mémoire flash stocke dans des cellules de mémoire les bits de données qui sont conservées lorsque l'alimentation électrique est coupée.
Fonction NONLa fonction NON (NOT en anglais) est un opérateur logique de l'algèbre de Boole et exprime un « état » en fonction de conditions. À un opérande, qui peut avoir la valeur VRAI ou FAUX, il associe un résultat qui a lui-même la valeur inverse de celle de l'opérande. Le circuit intégré 7404 intègre six portes logiques inverseuses du type NON. On la note Il correspond, en arithmétique, à : Une lampe s'allume lorsque l'on n'appuie pas sur « a ». La fonction « NON » est caractérisée par un interrupteur NF (normalement fermé).
Primitive notionIn mathematics, logic, philosophy, and formal systems, a primitive notion is a concept that is not defined in terms of previously-defined concepts. It is often motivated informally, usually by an appeal to intuition and everyday experience. In an axiomatic theory, relations between primitive notions are restricted by axioms. Some authors refer to the latter as "defining" primitive notions by one or more axioms, but this can be misleading. Formal theories cannot dispense with primitive notions, under pain of infinite regress (per the regress problem).
Synthèse chimiqueUne synthèse chimique est un enchaînement de réactions chimiques mis en œuvre volontairement ou non permettant l'obtention d'un ou de plusieurs produits finaux, parfois avec isolation de composés chimiques intermédiaires. Les synthèses chimiques peuvent avoir lieu à toutes sortes d'échelles : du laboratoire de recherche (de l'ordre du gramme ou moins) à l'industrie chimique (souvent de l'ordre de la tonne ou plus) ou dans la nature (biosynthèses).
Onde radioUne onde radioélectrique, communément abrégée en onde radio, est une onde électromagnétique dont la fréquence est inférieure à . Si la longueur d'onde dans le vide est supérieure à (fréquences inférieures à ) on parle d'ondes « radiofréquences ». Si la longueur d'onde dans le vide est comprise entre et (fréquences comprises entre et ) on parle d'ondes « hyperfréquences ». Adaptées au transport de signaux issus de la voix et de l'image, les ondes radio permettent les radiocommunications (talkie-walkies, téléphone sans fil, téléphonie mobile.
Emitter coupled logicvignette|Schéma ECL Motorola Emitter Coupled Logic ou Logique à émetteurs couplés (ECL) est une technologie de circuits logiques permettant un niveau de performances supérieur à la technologie TTL moyennant une consommation bien plus importante. Pour la conception de circuits logiques, la technologie ECL est aujourd'hui totalement dépassée ; elle a eu son heure de gloire à l'époque du supercalculateur Cray-1, entièrement réalisé en logique ECL.
Observatoire d'ondes gravitationnellesEn astronomie, un observatoire d'ondes gravitationnelles (on parle aussi de détecteur d'ondes gravitationnelles) est un système destiné à détecter et mesurer les ondes gravitationnelles. Un moyen relativement simple d'observer ces ondes est connu sous le nom de barre de Weber : sous l'effet d'une onde gravitationnelle, l'espace-temps se déforme très légèrement. Ainsi, un objet est également déformé - on peut alors déduire l'intensité et la provenance de l'onde.
