Logique paracohérenteEn logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien .
Logique intuitionnisteLa logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles, car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste.
Logique philosophiqueLa logique philosophique est un domaine de la philosophie dans lequel les méthodes de la logique ont traditionnellement été utilisées pour résoudre ou faire avancer la discussion des problèmes philosophiques. Parmi les contributeurs à ce domaine, Sibyl Wolfram souligne l'étude de l'argumentation, du sens et de la vérité, tandis que Colin McGinn présente l'identité, l'existence, la prédication, la nécessité et la vérité comme les thèmes principaux de son livre sur le sujet.
Tableau périodique des élémentsvignette|400px|Tableau périodique des éléments au . 400px|vignette|Avec davantage de détails par élément. Le tableau périodique des éléments, également appelé tableau ou table de Mendeleïev, classification périodique des éléments ou simplement tableau périodique, représente tous les éléments chimiques, ordonnés par numéro atomique croissant et organisés en fonction de leur configuration électronique, laquelle sous-tend leurs propriétés chimiques.
Trouble du sommeilUn trouble du sommeil (somnipathie) est un trouble médical pouvant avoir des causes physiologiques, environnementales ou comportementales (lié aux habitudes du sommeil d'un individu). En 2015, environ un adulte américain sur trois déclarait un trouble de sommeil. Certains troubles du sommeil sont suffisamment sérieux pour interférer au fonctionnement physique, mental et émotionnel. Un test communément utilisé pour quantifier les troubles du sommeil est la polysomnographie.
Problème NP-completEn théorie de la complexité, un problème NP-complet ou problème NPC (c'est-à-dire un problème complet pour la classe NP) est un problème de décision vérifiant les propriétés suivantes : il est possible de vérifier une solution efficacement (en temps polynomial) ; la classe des problèmes vérifiant cette propriété est notée NP ; tous les problèmes de la classe NP se ramènent à celui-ci via une réduction polynomiale ; cela signifie que le problème est au moins aussi difficile que tous les autres problèmes de l
Table de transition d'étatDans la théorie des automates et en logique séquentielle, une table de transition d'état est un tableau montrant dans quel état (ou états dans le cas d'un automate fini non déterministe) d'un automate fini se déplacer, sur la base de l'état actuel et des autres entrées. Une table d'état est essentiellement une table de vérité, dans laquelle certaines des entrées sont l'état actuel, et les sorties comprennent l'état suivant, en même temps que les autres sorties.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Période du tableau périodiqueDans le tableau périodique des éléments, une période est une ligne de la table. Les éléments chimiques d'une même période ont le même nombre de couches électroniques. Sept périodes contiennent les éléments observés à ce jour, et une huitième période hypothétique a été décrite. L'organisation du tableau en lignes nommées périodes et colonnes nommées groupes reflète la périodicité des propriétés physico-chimiques des éléments lorsque le nombre atomique augmente.
Sleep studyA sleep study is a test that records the activity of the body during sleep. There are five main types of sleep studies that use different methods to test for different sleep characteristics and disorders. These include simple sleep studies, polysomnography, multiple sleep latency tests (MSLTs), maintenance of wakefulness tests (MWTs), and home sleep tests (HSTs). In medicine, sleep studies have been useful in identifying and ruling out various sleep disorders.
Fantômevignette|upright=1|La statue du commandeur d'Anna Chromý à l'entrée du théâtre des États à Prague où eut lieu la première représentation de Don Giovanni en 1787. vignette|upright=1|Le fantôme par Yoshitoshi (1886). vignette|upright=1|Dame blanche au sommet d'une tour. Illustration du roman Le Château des Carpathes de Jules Verne paru en 1892. Un fantôme est une apparition, une vision ou une illusion, interprétée comme une manifestation surnaturelle d'une personne décédée.
Sommeil polyphasiqueLe sommeil polyphasique est un mode de repos dans lequel le temps de sommeil d'une journée de 24 heures est réparti en plusieurs périodes au lieu d'être regroupé en une "nuit" (sommeil monophasique). C'est le mode habituel de sommeil chez de nombreuses espèces animales ( comme les éléphants ), et il semble avoir été courant dans l'espèce humaine, au moins sous la forme biphasique (deux périodes), avant l'ère industrielle et la généralisation de l'éclairage continu.
