Fonction paritéLa fonction parité est une fonction booléenne. La sortie vaut 1, si et seulement si, le nombre de 1 dans l'entrée est impaire. Un cas particulier est la fonction parité avec deux entrées, qui est connue sous le nom de XOR. Cette fonction est centrale dans l'étude des circuits booléens. Le résultat est parfois appelé bit de parité. La fonction parité un exemple de fonction qui n'est pas dans la classe de complexité nommée AC0. Ceci a été démontré par Furst, Saxe et Sipser, et indépendamment à Miklós Ajtai. C
Pile DaniellLa pile Daniell est un dispositif électrochimique réalisant la conversion d'énergie chimique en énergie électrique par le biais d'une réaction d'oxydo-réduction. Le principe de fonctionnement de cette pile a été démontré par Edmond Becquerel et a été perfectionnée par le chimiste britannique John Daniell en 1836, au moment où le développement du télégraphe faisait apparaître un besoin urgent de sources de courant sûres et constantes.
Application-specific integrated circuitvignette|Un ASIC. Un ASIC (acronyme de l'anglais application-specific integrated circuit, littéralement « circuit intégré propre à une application ») est un circuit intégré spécialisé. En général, il regroupe sur la même puce un ou sur mesure. thumb|Autre exemple de puce ASIC. L'intérêt de l'intégration est de réduire les coûts de production et d'augmenter la fiabilité. Avantage pour le maître d'œuvre : un contrôle total du produit et un coût de production réduit.
OpérandeEn mathématiques, dans une expression décrivant une opération, chacun des éléments sur lesquels s'applique l’opération est appelé un opérande. Selon l'arité de l'opérateur utilisé, il peut y avoir ainsi zéro, un ou plusieurs opérandes. En langage de programmation, l'arité de l'opérateur peut dépendre du jeu d'instructions. Un opérande peut être une constante, une simple variable ou une expression faisant intervenir d'autres opérations. Deux opérandes distincts peuvent avoir la même expression et a fortiori la même valeur.
Ordinateur à programme enregistréUn ordinateur à programme enregistré (ou calculateur à programme enregistré; en anglais stored-program computer) est un ordinateur qui enregistre les instructions des programmes qu'il exécute dans sa mémoire vive. La définition précédente est souvent étendue pour exiger que le traitement des instructions et des données en mémoire doive être interchangeable et uniforme.
Langage de programmationthumb|Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent. D'une manière similaire à une langue naturelle, un langage de programmation est composé d'un alphabet, d'un vocabulaire, de règles de grammaire, de significations, mais aussi d'un environnement de traduction censé rendre sa syntaxe compréhensible par la machine.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Univers observableL'Univers observable est, en cosmologie, la partie visible de notre Univers. Il est donc une boule dont la limite est située à l'horizon cosmologique et dont la Terre constitue le centre. C'est ainsi une notion relative, d'autres observateurs situés ailleurs dans l'Univers n'ont pas la même boule observable, mais une similaire de même rayon.
Problème SATvignette|Une instance du Sudoku peut être transformée en une formule de logique propositionnelle à satisfaire. Une assignation des variables propositionnelles donne une grille complétée. En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le problème de décision, qui, étant donné une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie. Ce problème est important en théorie de la complexité.
Formule booléenne quantifiéeEn théorie de la complexité, en informatique théorique, en logique mathématique, une formule booléenne quantifiée (ou formule QBF pour quantified binary formula en anglais) est une formule de la logique propositionnelle où les variables propositionnelles sont quantifiées. Par exemple, est une formule booléenne quantifiée et se lit « pour toute valeur booléenne x, il existe une valeur booléenne y et une valeur booléenne z telles que ((x ou z) et y) ».
Destin de l'Universvignette|alt=Une animation du comportement supposé d'un Big Crunch.|Une animation du comportement supposé d'un Big Crunch. La question du destin de l'Univers fait partie des questions fondamentales de la cosmologie. Elle a trait à l'évolution future de l'expansion de l'Univers. Pendant longtemps elle a été focalisée sur la question de savoir si l'expansion observée actuellement se poursuivrait indéfiniment, ou bien s'interromprait pour laisser place à une phase de contraction menant au Big Crunch, un effondrement général de l'Univers, analogiquement inverse du Big Bang.
Complementary metal oxide semi-conductorvignette|Vue en coupe d'un transistor MOS On appelle CMOS, ou Complementary Metal Oxide Semiconductor, une technologie de fabrication de composants électroniques et, par extension, les composants fabriqués selon cette technologie. Ce sont pour la plupart des circuits logiques (NAND, NOR) comme ceux de la famille Transistor-Transistor logic (TTL) mais, à la différence de ces derniers, ils peuvent être aussi utilisés comme résistance variable.
