XOR gateXOR gate (sometimes EOR, or EXOR and pronounced as Exclusive OR) is a digital logic gate that gives a true (1 or HIGH) output when the number of true inputs is odd. An XOR gate implements an exclusive or () from mathematical logic; that is, a true output results if one, and only one, of the inputs to the gate is true. If both inputs are false (0/LOW) or both are true, a false output results. XOR represents the inequality function, i.e., the output is true if the inputs are not alike otherwise the output is false.
Field-programmabilityAn electronic device or embedded system is said to be field-programmable or in-place programmable if its firmware (stored in non-volatile memory, such as ROM) can be modified "in the field", without disassembling the device or returning it to its manufacturer. This is often an extremely desirable feature, as it can reduce the cost and turnaround time for replacement of buggy or obsolete firmware. For example, a digital camera vendor could distribute firmware supporting a new image by instructing consumers to download a new firmware to the camera via a USB cable.
Fonction OU exclusifLa fonction OU exclusif, souvent appelée XOR (eXclusive OR) ou disjonction exclusive, ou somme binaire en cryptographie où il est noté +, ou encore ⊻ en algèbre relationnelle, est un opérateur logique de l'algèbre de Boole. À deux opérandes, qui peuvent avoir chacun la valeur VRAI ou FAUX, il associe un résultat qui a lui-même la valeur VRAI seulement si les deux opérandes ont des valeurs distinctes. Cet opérateur est très utilisé en électronique, en informatique, et aussi en cryptographie du fait de ses propriétés intéressantes.
Atomisme logiqueL'atomisme logique, hérité par bien des aspects des travaux de Gottlob Frege au cours du , est une doctrine philosophique soutenue par Bertrand Russell et Ludwig Wittgenstein au cours de la première partie du . Fondé sur le rejet du monisme idéaliste de type hégélien et la reconnaissance d'un pluralisme irréductible dans le monde, l'atomisme logique reçoit avec Russell et son élève Wittgenstein deux versions différentes. Le mot d'« atomisme logique » est dû à Russell lui-même, et apparaît pour la première fois dans La philosophie de l'atomisme logique.
Empirisme logiqueL'empirisme logique (parfois nommé positivisme logique, néo-positivisme, ou empirisme rationnel) est une école philosophique principalement illustrée par le Cercle de Vienne, fondée par un groupe réunissant des scientifiques et philosophes viennois dans les années 1920. Le Cercle de Vienne était avant tout un lieu de discussion entre scientifiques (Niels Bohr et Einstein y sont occasionnellement intervenus) et philosophes qui ne partageaient pas les mêmes convictions.
Opération unaireEn mathématiques et en programmation informatique, une opération unaire, aussi appelée une fonction monadique, est une opération à un opérande ou une fonction à un seul argument. Valeur absolue ( |x| ) d'un nombre réel. Opposé ( -x ) d'un nombre réel. Carré ( x2 ) d'un nombre réel. Inverse ( g-1 ) d'un élément d'un groupe. Exponentielle, . Exponentielle de base a, . Dans la famille des langages C, les opérations suivantes sont unaires : Incrément : ++x, x++ Décrément : −−x, x−− Adresse ou référence : &x In
Decider (Turing machine)In computability theory, a decider is a Turing machine that halts for every input. A decider is also called a total Turing machine as it represents a total function. Because it always halts, such a machine is able to decide whether a given string is a member of a formal language. The class of languages which can be decided by such machines is the set of recursive languages. Given an arbitrary Turing machine, determining whether it is a decider is an undecidable problem.
