Raie spectraleUne raie spectrale est une ligne sombre ou lumineuse dans un spectre électromagnétique autrement uniforme et continu. Les raies spectrales sont le résultat de l'interaction entre un système quantique (généralement des atomes, mais parfois aussi des molécules ou des noyaux atomiques) et le rayonnement électromagnétique. vignette|upright=2|Raies de Fraunhofer sur un spectre continu avec leur notation alphabétique et les longueurs d'onde correspondantes.
Machine de Turing non déterministeUne machine de Turing non déterministe est similaire à une machine de Turing habituelle, qui, elle, est déterministe, mais s'en différencie dans le fait qu'étant non déterministe elle peut avoir plusieurs transitions activables, pour un état donné. Alors que, connaissant le caractère lu sur le ruban et l'état courant, une machine de Turing déterministe dispose d'au plus une transition possible, une machine de Turing non déterministe peut en avoir plusieurs.
Algorithme récursifUn algorithme récursif est un algorithme qui résout un problème en calculant des solutions d'instances plus petites du même problème. L'approche récursive est un des concepts de base en informatique. Les premiers langages de programmation qui ont autorisé l'emploi de la récursivité sont LISP et Algol 60. Depuis, tous les langages de programmation généraux réalisent une implémentation de la récursivité. Pour répéter des opérations, typiquement, un algorithme récursif s'appelle lui-même.
Decidability of first-order theories of the real numbersIn mathematical logic, a first-order language of the real numbers is the set of all well-formed sentences of first-order logic that involve universal and existential quantifiers and logical combinations of equalities and inequalities of expressions over real variables. The corresponding first-order theory is the set of sentences that are actually true of the real numbers. There are several different such theories, with different expressive power, depending on the primitive operations that are allowed to be used in the expression.
Machine de Turing probabilisteEn théorie de la complexité, une machine de Turing probabiliste (ou randomisée) est une machine de Turing qui peut utiliser du hasard. Ce genre de machine permet de définir des classes de complexité intéressantes et de donner un modèle de calcul pour les algorithmes probabilistes comme le test de primalité de Miller-Rabin. Il existe différentes définitions équivalentes des machines de Turing probabilistes. Dans la suite tous les tirages sont indépendants et uniformes.
Turing-completEn informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet (par calque de l’anglais Turing-complete) s’il possède un pouvoir expressif au moins équivalent à celui des machines de Turing. Dans un tel système, il est donc possible de programmer n'importe quelle machine de Turing. Cette notion est rendue pertinente par la thèse de Church, qui postule l’existence d’une notion naturelle de calculabilité.
Problème de décisionEn informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ». Les logiciens s'y sont intéressés à cause de l'existence ou de la non-existence d'un algorithme répondant à la question posée. Les problèmes de décision interviennent dans deux domaines de la logique : la théorie de la calculabilité et la théorie de la complexité. Parmi les problèmes de décision citons par exemple le problème de l'arrêt, le problème de correspondance de Post ou le dernier théorème de Fermat.
Corps réel closEn mathématiques, un corps réel clos est un corps totalement ordonnable dont aucune extension algébrique propre n'est totalement ordonnable. Les corps suivants sont réels clos : le corps des réels, le sous-corps des réels algébriques, le corps des réels calculables (au sens de Turing), le corps des , le corps des séries de Puiseux à coefficients réels, tout corps superréel (en particulier tout corps hyperréel).
YPbPrLe connecteur YPbPr ou plus précisément connecteur Y'PbPr, encore appelé composante ou connecteur Y'UV est un connecteur analogique capable d'afficher la haute définition. Il achemine uniquement les signaux vidéo mais pas le son. Pour avoir le son, il faut ajouter un câble audio RCA ou, mieux, numérique (coaxial ou optique) si le téléviseur est équipé d'une telle entrée. C'est une alternative au connecteur HDMI qui lui est un connecteur numérique, donc, du moins en théorie, meilleur que le Y'PbPr et de plus achemine l'image et le son.
Adobe PhotoshopPhotoshop est un logiciel de , de et de dessin assisté par ordinateur, lancé en 1990 puis en 1992 pour les systèmes d'exploitations MacOS et Windows. Édité par la société Adobe, il est principalement utilisé pour le traitement des photographies numériques et sert également à la création ex nihilo d’images. Il travaille essentiellement sur car les images sont constituées d’une grille de points appelés pixels. L’intérêt de ces images est de reproduire des gradations subtiles de couleurs.
Adobe IllustratorAdobe Illustrator est un logiciel de . Il fait partie de la gamme Adobe, peut être utilisé indépendamment ou en complément de Photoshop, et offre des outils de dessin vectoriel puissants. Les images vectorielles sont constituées de courbes générées par des formules mathématiques. L'un des outils principaux d'Illustrator étant « la plume » qui permet de tracer des courbes à l'aspect parfait grâce au placement de points d'ancrage et de tangentes qui vont en modifier la courbure.
Graphisme 2DLe graphisme 2D, ou graphisme en deux dimensions, est la génération par le biais d'un ordinateur, d' principalement issues de modèles en deux dimensions (tels que des modèles géométriques en 2D, des textes et des images numériques) et des techniques spécifiques qui leur sont affiliées. Le mot peut aussi bien se référer à la branche de l'informatique qui comprend ces techniques que pour les modèles eux-mêmes.
