Connecteur logiqueEn logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un certain nombre de règles définissent leur usage, au besoin complétées par une sémantique. Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une extension multivalente de ceux-ci.
HydrocéphalieL’hydrocéphalie (du grec ancien / húdôr (« eau ») et / kephalế (« tête »)) est une anomalie neurologique sévère, définie par l'augmentation du volume des espaces contenant le liquide cérébro-spinal (LCS) : ventricules cérébraux et espace sous-arachnoïdien. Cette dilatation peut être due à une hypersécrétion de LCS, un défaut de résorption, ou une obstruction mécanique des voies de circulation. Dans les familles issues de mariages entre apparentés, l'enfant consanguin a 13 fois plus de risques de développer une hydrocéphalie.
Fenêtre (informatique)En informatique, une fenêtre est un élément d'un système de fenêtrage. C'est une zone rectangulaire de l'écran affectée à l'affichage de tout ou partie d'un logiciel. Les fenêtres sont parfois appelées feuilles, la notion de feuille étant plus représentative. En effet les fenêtres peuvent être placées les unes sur les autres, à la manière de feuilles de papier. L'intérieur de la fenêtre appartient au logiciel, tandis que la bordure et le bandeau supérieur appartient à l'environnement (gestionnaire de fenêtres).
X Window SystemX est un protocole de système de fenêtrage (window system, en anglais) qui gère l'écran, la souris et également le clavier. X11 en est la onzième version majeure. Il s’agit du standard ouvert d'interaction graphique avec l'utilisateur sur les systèmes d’exploitation de type Unix (Linux, BSD). Le système de fenêtrage X (dit « serveur X ») est optionnel sur macOS (qui utilise nativement Quartz). Il est possible d'installer un serveur X sur la plupart des systèmes d'exploitation, dont Windows.
Functional completenessIn logic, a functionally complete set of logical connectives or Boolean operators is one which can be used to express all possible truth tables by combining members of the set into a Boolean expression. A well-known complete set of connectives is { AND, NOT }. Each of the singleton sets { NAND } and { NOR } is functionally complete. However, the set { AND, OR } is incomplete, due to its inability to express NOT. A gate or set of gates which is functionally complete can also be called a universal gate / gates.
