Opération binaireLes opérations en codage binaire sont traitées à l'article Fonction logique. En mathématiques, une opération binaire est une opération à deux arguments ou opérandes. C'est le cas notamment des lois de composition interne sur un ensemble, telle que l'addition des entiers ou la composition de fonctions. Mais une opération partiellement définie comme la division ou la puissance peut également être considérée comme une opération binaire.
Système binaire (astronomie)vignette|Pluton et son satellite Charon sont un système binaire Un système binaire est un système astronomique regroupant deux objets de l'espace (habituellement des étoiles, mais aussi des planètes, des galaxies, des astéroïdes ou des trous noirs) qui sont proches, et que leur interaction gravitationnelle fait orbiter autour d'un centre de masse commun nettement distinct de chacun d'eux. Dans le cas des étoiles binaires, cette exigence n'est pas forcément requise.
Chaîne de caractèresEn informatique, une chaîne de caractères est à la fois conceptuellement une suite ordonnée de caractères et physiquement une suite ordonnée d' unités de code (code unit). La chaîne de caractères est un type de donnée dans de nombreux langages informatiques. La traduction en anglais est string. À l'époque des pionniers, on a communément confondu chaîne de caractères et chaîne d'octets, ce qui prête aujourd'hui à confusion, lorsque l'on ne veut pas se limiter à 255 caractères.
Distorsion (électronique)La distorsion désigne, dans un appareil ou un canal de transmission, l'ensemble des modifications indésirables d'un signal qui ne soient ni un gain, ni une atténuation, ni un retard. Une certaine altération du signal est inévitable ; on cherche à transmettre celui-ci avec le plus d'exactitude possible. Les progrès en la matière ont donné en audio le concept de Haute Fidélité. La limitation de la distorsion dans les circuits intégrés participe à l'intégrité du signal.
Distorsion (musique)vignette|droite|Pédale d'effet Turbo Distortion, fabriquée par l'entreprise Boss. La distorsion est un effet audio utilisé dans la création de sons saturés et distordus, en compressant les pics du signal audio d'un instrument de musique électronique et en y ajoutant des partiels acoustiques. Un effet par distorsion est également appelé, à tort, , et s'applique principalement aux guitares électriques, mais peut également s'appliquer aux instruments de nombreux genres de musiques électroniques et à la .
Bascule (circuit logique)Une bascule est un circuit logique capable, dans certaines circonstances, de maintenir les valeurs de ses sorties malgré les changements de valeurs d'entrées, c'est-à-dire comportant un état « mémoire ». Il s'agit de l'élément qui permet le passage de la logique combinatoire à la logique séquentielle. On distingue deux catégories principales de bascules dans un système séquentiel : les bascules asynchrones et les bascules synchrones.
Optimisation (mathématiques)L'optimisation est une branche des mathématiques cherchant à modéliser, à analyser et à résoudre analytiquement ou numériquement les problèmes qui consistent à minimiser ou maximiser une fonction sur un ensemble. L’optimisation joue un rôle important en recherche opérationnelle (domaine à la frontière entre l'informatique, les mathématiques et l'économie), dans les mathématiques appliquées (fondamentales pour l'industrie et l'ingénierie), en analyse et en analyse numérique, en statistique pour l’estimation du maximum de vraisemblance d’une distribution, pour la recherche de stratégies dans le cadre de la théorie des jeux, ou encore en théorie du contrôle et de la commande.
BitLe bit est l'unité la plus simple dans un système de numération, ne pouvant prendre que deux valeurs, désignées le plus souvent par les chiffres 0 et 1. Un bit peut représenter aussi bien une alternative logique, exprimée par faux et vrai, qu'un « chiffre binaire », binary digit en anglais, dont le mot bit, qui signifie « morceau », est aussi l'abréviation. Dans la théorie de l'information, un bit est la quantité minimale d'information transmise par un message, et constitue à ce titre l'unité de mesure de base de l'information en informatique.
Éléments (Euclide)Les Éléments (en grec ancien / stoïkheïa) est un traité mathématique et géométrique, constitué de 13 livres organisés thématiquement, probablement écrit par le mathématicien grec Euclide vers Il comprend une collection de définitions, axiomes, théorèmes et leur démonstration sur les sujets de la géométrie euclidienne et de la théorie des nombres primitifs. L'ouvrage est le plus ancien exemple connu d'un traitement axiomatique et systématique de la géométrie et son influence sur le développement de la logique et de la science occidentale est fondamentale.
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.
