Tableau de bitsUn tableau de bits (en anglais bitmap) est une structure de données, en particulier un tableau de données binaires. Il s'agit d'une collection ordonnée de bits assimilables à des booléens. Certes, l'appellation tableau évoque une grille semblable à celle des mots croisés, mais un tableau de bits peut très bien être en trois dimensions ou plus. Pour autant, le nombre d'éléments étant fini, connu, voire défini, la collection peut être inventoriée selon un chemin parcourant chaque « colonne » et chaque « ligne ».
Distance de HammingLa distance de Hamming est une notion mathématique, définie par Richard Hamming, et utilisée en informatique, en traitement du signal et dans les télécommunications. Elle joue un rôle important en théorie algébrique des codes correcteurs. Elle permet de quantifier la différence entre deux séquences de symboles. C'est une distance au sens mathématique du terme. À deux suites de symboles de même longueur, elle associe le nombre de positions où les deux suites diffèrent.
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.
Théorie des codesEn théorie de l'information, la théorie des codes traite des codes et de leurs propriétés et de leurs aptitudes à servir sur différents canaux de communication. On distingue deux modèles de communication : avec et sans bruit. Sans bruit, le codage de source suffit à la communication. Avec bruit, la communication est possible avec les codes correcteurs. En définissant l'information de façon mathématique, l'étape fondatrice de la théorie des codes a été franchie par Claude Shannon.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Lemme (mathématiques)Un lemme, en mathématiques et en logique mathématique, est un résultat intermédiaire sur lequel on s'appuie pour conduire la démonstration d'un théorème plus important. Dans l'Antiquité grecque, lemme (en λῆμμα) était un terme de logique : il désignait la majeure du syllogisme, c'est-à-dire la première assertion. Dans la dialectique grecque, le lemme, le prolemme et l'épiphore sont les trois parties de l'argument.
CubeEn géométrie euclidienne, un cube est un prisme droit dont toutes les faces sont carrées donc égales et superposables. Le cube figure parmi les solides les plus remarquables de l'espace. C'est le seul des cinq solides de Platon ayant exactement 6 faces, 12 arêtes et 8 sommets. Son autre nom est « hexaèdre régulier ». Le cube est un zonoèdre à trois générateurs. Comme il a quatre sommets par face et trois faces par sommet, son symbole de Schläfli est {4,3}. L'étymologie du mot cube est grecque ; cube provient de kubos, le dé.
Hypercube (graphe)Les hypercubes, ou n-cubes, forment une famille de graphes. Dans un hypercube , chaque sommet porte une étiquette de longueur sur un alphabet , et deux sommets sont adjacents si leurs étiquettes ne diffèrent que d'un symbole. C'est le graphe squelette de l'hypercube, un polytope n-dimensionnel, généralisant la notion de carré (n = 2) et de cube (n = 3). Dans les années 1980, des ordinateurs furent réalisés avec plusieurs processeurs connectés selon un hypercube : chaque processeur traite une partie des données et ainsi les données sont traitées par plusieurs processeurs à la fois, ce qui constitue un calcul parallèle.
Théorème du codage de canalEn théorie de l'information, le théorème du codage de canal aussi appelé deuxième théorème de Shannon montre qu'il est possible de transmettre des données numériques sur un canal bruité avec un taux d'erreur arbitrairement faible si le débit est inférieur à une certaine limite propre au canal. Ce résultat publié par Claude Shannon en 1948 est fondé sur des travaux antérieurs de Harry Nyquist et Ralph Hartley. La première preuve rigoureuse fut établie par Amiel Feinstein en 1954.
Théorie de l'informationLa théorie de l'information, sans précision, est le nom usuel désignant la théorie de l'information de Shannon, qui est une théorie utilisant les probabilités pour quantifier le contenu moyen en information d'un ensemble de messages, dont le codage informatique satisfait une distribution statistique que l'on pense connaître. Ce domaine trouve son origine scientifique avec Claude Shannon qui en est le père fondateur avec son article A Mathematical Theory of Communication publié en 1948.
Bit fieldA bit field is a data structure that consists of one or more adjacent bits which have been allocated for specific purposes, so that any single bit or group of bits within the structure can be set or inspected. A bit field is most commonly used to represent integral types of known, fixed bit-width, such as single-bit Booleans. The meaning of the individual bits within the field is determined by the programmer; for example, the first bit in a bit field (located at the field's base address) is sometimes used to determine the state of a particular attribute associated with the bit field.
Étoile binaireEn astronomie, une étoile binaire ou binaire, appelée aussi système (stellaire) binaire ou étoile double physique, est un type de système binaire composée de deux étoiles orbitant autour d'un centre de gravité commun. Le terme « étoile binaire » a apparemment été inventé par William Herschel en 1802 pour indiquer . Au , des étoiles binaires sont classées en différents types selon leurs propriétés observables : binaire visuelle, binaire astrométrique, binaire spectroscopique et binaire à éclipses.
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.
Système binaireLe système binaire (du latin binārĭus, « double ») est le système de numération utilisant la base 2. On nomme couramment bit (de l'anglais binary digit, soit « chiffre binaire ») les chiffres de la numération binaire positionnelle. Un bit peut prendre deux valeurs, notées par convention 0 et 1. Le système binaire est utile pour représenter le fonctionnement de l'électronique numérique utilisée dans les ordinateurs. Il est donc utilisé par les langages de programmation de bas niveau.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Code de HammingUn code de Hamming est un code correcteur linéaire. Il permet la détection et la correction automatique d'une erreur si elle ne porte que sur une lettre du message. Un code de Hamming est parfait : pour une longueur de code donnée il n'existe pas d'autre code plus compact ayant la même capacité de correction. En ce sens son rendement est maximal. Il existe une famille de codes de Hamming ; le plus célèbre et le plus simple après le code de répétition binaire de dimension trois et de longueur un est sans doute le code binaire de paramètres [7,4,3].
Binaire XUne binaire X est formée d'une étoile « normale » orbitant autour d'une étoile à neutrons ou d'un trou noir avec une courte période. Le rayonnement X provient de l'énorme quantité d'énergie dégagée par l'accrétion de la matière de l'étoile autour de l'objet compact. Un scénario simplifié de la formation d'une binaire X massive est le suivant (Tauris & van den Heuvel 2003) : deux étoiles massives (> 12 masses solaires) arrivent sur la séquence principale ; une dizaine de millions d'années plus tard environ, la plus massive est passée la première au stade de supergéante rouge et son enveloppe remplit le lobe de Roche, commençant le transfert de masse vers le compagnon.
Numérotation des bitsEn informatique, la numérotation des bits est la convention utilisée pour identifier les positions des bits dans un nombre binaire. droite|vignette|280x280px| La représentation binaire de la décimale 149, avec le LSB en surbrillance. Le LSB représente une valeur de 1. droite|vignette|280x280px| La représentation binaire non signée de la décimale 149, avec le MSB en surbrillance. Le MSB représente une valeur de 128. En informatique, le bit le moins significatif ( LSB ) est la position du bit dans un entier binaire représentant la place binaire 1 de l'entier.
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.
