ContrasteLe contraste (lat. « contra », « contre », et « stare », « se tenir », de l'i.e. "sta") est une propriété intrinsèque d'une image qui quantifie la différence de luminosité entre les parties claires et sombres d'une image. Le contraste caractérise la répartition lumineuse d'une image. Visuellement il est possible de l'interpréter comme un étalement de l'histogramme de luminosité de l'image.
Cortex visuelLe occupe le lobe occipital du cerveau et est chargé de traiter les informations visuelles. Le cortex visuel couvre le lobe occipital, sur les faces latérales et internes, et empiète sur le lobe pariétal et le lobe temporal. L'étude du cortex visuel en neurosciences a permis de le découper en une multitude de sous-régions fonctionnelles (V1, V2, V3, V4, MT) qui traitent chacune ou collectivement des multiples propriétés des informations provenant des voies visuelles (formes, couleurs, mouvements).
Système visuel humainLe est l'ensemble des organes participant à la perception visuelle humaine, de la rétine au système sensori-moteur. Son rôle est de percevoir et d'interpréter deux images en deux dimensions en une image en trois dimensions. Il est principalement constitué de l'œil (et plus particulièrement la rétine), des nerfs optiques, du chiasma optique, du tractus optique, du corps genouillé latéral, des radiations optiques et du cortex visuel. En première approximation, l'œil peut être assimilé à un appareil photographique.
Acuité visuellevignette|Tableau de Snellen qui permet de mesurer l'acuité visuelle humaine. L'acuité visuelle (mesurée sur un œil, en vision de loin) est la capacité de discerner un petit objet (ou optotype) situé le plus loin possible, ce qui est équivalent à voir à une distance fixe (en général cinq mètres) un optotype sous le plus petit angle possible. Le minimum visible représente la visibilité binaire d'un point ou d'une ligne (vu/non vu). Un trait ou un point de fort contraste, typiquement un trait noir sur un fond blanc, peut être distingué à partir d’un diamètre apparent de 0,5 seconde d’arc.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).