Critère d'EulerEn mathématiques et plus précisément en arithmétique modulaire, le critère d'Euler est un théorème utilisé en théorie des nombres pour déterminer si un entier donné est un résidu quadratique (autrement dit, un carré) modulo un nombre premier. Soient un nombre premier différent de 2 et un entier premier avec . Si est un résidu quadratique modulo , alors . Si n'est pas un résidu quadratique modulo alors . Ce qui se résume, en utilisant le symbole de Legendre, par : La preuve repose sur le petit théorème de Fermat et sur le fait que dans un anneau intègre, un polynôme n'a jamais plus de racines que son degré.
Fil magnétiquethumb|right|Un télégraphone modèle 1898, premier appareil à employer la technique du fil magnétique. L'enregistrement sur fil magnétique est une technologie obsolète, employée pour l'enregistrement sonore et sa restitution principalement dans la première moitié du . Le premier à l'employer est Valdemar Poulsen qui invente en 1898 le télégraphone, présenté à l'Exposition universelle de 1900 à Paris : son fonctionnement est basé sur un fil en acier, magnétisé à l'enregistrement.
Réciprocité cubiqueEn mathématiques, la loi de réciprocité cubique fait référence à divers résultats reliant la résolubilité de deux équations cubiques reliées en arithmétique modulaire. La loi de réciprocité cubique est plus naturellement exprimée en termes d'entiers d'Eisenstein, c’est-à-dire, l'anneau E des nombres complexes de la forme où a et b sont des entiers relatifs et est une racine cubique de l'unité complexe.
Définition d'écranLa définition d’écran est le nombre de points ou pixels (de l'anglais picture elements) que peut afficher un écran. La définition est le produit du nombre de points selon l’horizontale par le nombre de points selon la verticale de l’affichage. La définition est couramment confondue, à tort, avec la d'écran (la résolution prend en compte la taille de l'écran) ; un logiciel peut ainsi choisir parmi les différentes résolutions disponibles d'un écran.
Rayon de convergenceLe rayon de convergence d'une série entière est le nombre réel positif ou +∞ égal à la borne supérieure de l'ensemble des modules des nombres complexes où la série converge (au sens classique de la convergence simple): Si R est le rayon de convergence d'une série entière, alors la série est absolument convergente sur le disque ouvert D(0, R) de centre 0 et de rayon R. Ce disque est appelé disque de convergence. Cette convergence absolue entraine ce qui est parfois qualifié de convergence inconditionnelle : la valeur de la somme en tout point de ce disque ne dépend pas de l'ordre des termes.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
3D displayA 3D display is a display device capable of conveying depth to the viewer. Many 3D displays are stereoscopic displays, which produce a basic 3D effect by means of stereopsis, but can cause eye strain and visual fatigue. Newer 3D displays such as holographic and light field displays produce a more realistic 3D effect by combining stereopsis and accurate focal length for the displayed content. Newer 3D displays in this manner cause less visual fatigue than classical stereoscopic displays.
Série formelleEn algèbre, les séries formelles sont une généralisation des polynômes autorisant des sommes infinies, de la même façon qu'en analyse, les séries entières généralisent les fonctions polynomiales, à ceci près que dans le cadre algébrique, les problèmes de convergence sont évités par des définitions ad hoc. Ces objets sont utiles pour décrire de façon concise des suites et pour trouver des formules pour des suites définies par récurrence via ce que l'on appelle les séries génératrices. Soit R un anneau commutatif (unifère).
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Écran d'ordinateurthumb|Un écran cathodique format 4/3. thumb|Un écran à cristaux liquides format 16/10. thumb|Un écran incurvé format 21/9. Un écran d'ordinateur est un périphérique de sortie vidéo d'ordinateur. Il affiche les images générées par la carte graphique de l'ordinateur. Grâce au taux de rafraîchissement d'écran élevé, il permet de donner l’impression de mouvement. Il permet donc de travailler agréablement, de visionner de la vidéo, des films, de jouer à des jeux vidéo, de saisir des textes, etc.
Internet Control Message ProtocolInternet Control Message Protocol (ICMP, Protocole de message de contrôle sur Internet) est l’un des protocoles fondamentaux constituant la suite des protocoles Internet. C'est un protocole de couche réseau (couche 3 du modèle OSI), au même niveau que le protocole Internet (IP). Le protocole IP ne gérant que le transport des paquets et ne permettant pas l'envoi de messages d'erreur, on lui associe ICMP pour contrôler les erreurs de transmission.
