Complétude (logique)En logique mathématique et métalogique, un système formel est dit complet par rapport à une propriété particulière si chaque formule possédant cette propriété peut être prouvée par une démonstration formelle à l'aide de ce système, c'est-à-dire par l'un de ses théorèmes ; autrement, le système est dit incomplet. Le terme « complet » est également utilisé sans qualification, avec des significations différentes selon le contexte, la plupart du temps se référant à la propriété de la validité sémantique.
Règle de résolutionEn logique mathématique, la règle de résolution ou principe de résolution de Robinson est une règle d'inférence logique qui généralise le modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est à la base du langage de programmation logique Prolog. La règle du modus ponens s'écrit et se lit : de p et de "p implique q", je déduis q. On peut réécrire l'implication "p implique q" comme "p est faux ou q est vraie". Ainsi, la règle du modus ponens s'écrit .
Myopiethumb|Vision normale thumb|La même scène vue par un myope Une myopie (mot d'origine grecque : μυωπία, muôpia, qui signifie ) est un trouble de la vision dont le symptôme principal pour le sujet est de voir flou au loin. L'image d'un point devient alors une tache plus ou moins diffuse sur la rétine. Pour l'individu atteint de myopie, la perception d'objets éloignés se brouille, le contour des formes et silhouettes n'est pas net et se fait vaporeux, exactement comme lorsqu'on regarde sous l'eau sans masque ni lunettes de natation.
RadiocommandeUne radiocommande est un type de télécommande, un outil permettant de contrôler à distance un appareil, via de la radiocommunication. Ce type de commande est utilisé dans l'aéronautique, l'aérospatiale, le modélisme, ou encore des situations, ou une action pouvant être dangereuse pour les humains dans lequel un robot radiocommandé intervient. En 1894, le britannique Patrice Dubrulle, utilise le cohéreur du français Édouard Branly, pionnier de la radio, pour permettre à un de déplacer un rayon de lumière lorsqu'une onde électromagnétique est générée artificiellement.
Taux sans risqueUn taux sans risque dans une devise et pour une période particulière est le taux d'intérêt constaté sur le marché des emprunts d'État de pays considérés solvables et d'organisations intergouvernementales pour la même devise et la même période. On désigne donc ainsi l'absence théorique de risque de crédit, et non une quelconque absence de risque de taux, qui lui demeure bien présent. Il est toutefois à noter qu'un État peut faire faillite. Comme pour tous les taux d'intérêt, il convient de préciser quelles bases et conventions de calcul s'appliquent.
Liquide cérébrospinalthumb|right|300px|Le LCS circule entre la pie-mère et l'arachnoïde. Le liquide cérébrospinal (LCS), ou liquide céphalo-rachidien (LCR) en ancienne nomenclature, est un liquide biologique transparent dans lequel baignent le cerveau et la moelle spinale. Il est contenu dans les méninges, plus précisément entre la pie-mère (qui recouvre le système nerveux central) et l'arachnoïde (qui tapisse le versant interne de la dure-mère), c'est-à-dire dans l'espace sous-arachnoïdien.
Thérapie photodynamiqueLa thérapie photodynamique (ou photothérapie dynamique ; photochimiothérapie ; en photodynamic therapy, abrégée en PDT), est une technique de traitement médical local et sélectif visant à détruire des tissus pathologiques, ou certains microbes, grâce à l'utilisation de substances chimiques photosensibilisantes devenant cytotoxiques une fois activés par de une lumière (pour une gamme réduite de longueurs d'onde) ou dans certains cas par des rayons X (qui peuvent pénétrer en profondeur dans l'organisme).
Taux d'intérêtLe taux d'intérêt d'un prêt ou d'un emprunt fixe la rémunération du capital prêté (exprimée en pourcentage du montant prêté) versée par l'emprunteur au prêteur. Le taux et les modalités de versement de cette rémunération sont fixés lors de la conclusion du contrat de prêt. Ce pourcentage tient compte de la durée du prêt, de la nature des risques encourus et des garanties offertes par le prêteur. Les taux d'intérêt sont utilisés dans de multiples domaines, des instruments financiers jusqu'aux produits d'épargne (compte d'épargne), en passant par les obligations.
TélécommandeLa télécommande est un dispositif, généralement de taille réduite, servant à en piloter un autre à distance, par câble mécanique, fils électriques, ondes radio, infrarouge. Les télécommandes servent à interagir avec des jouets, des appareils audiovisuels comme un téléviseur ou une chaîne hi-fi, un moteur de porte de garage ou de portail, un éclairage, l'ouverture des portières d'une voiture, des appareils de topographie, des engins de levage ou de travaux publics Le nom familier pour la télécommande de télévision est zapette/zappette qui vient du verbe zaper/zapper.
Oxymétrie colorimétriquevignette|droite|Oxymètre de pouls sur le doigt, affichant la saturation en oxygène et la fréquence cardiaque (modèle 2014) vignette|droite|Oxymètre de pouls monté au poignet (modèle 2011) L' ou oxymétrie de pouls ou saturation pulsée en oxygène (Sp) est un examen non invasif d'oxymétrie permettant de quantifier la saturation en oxygène de l'hémoglobine au niveau des capillaires sanguins. L'appareil de mesure s'appelle oxymètre de pouls ou saturomètre. Les deux variables biométriques mesurées sont la Sp et la fréquence cardiaque.
