Four-valued logicIn logic, a four-valued logic is any logic with four truth values. Several types of four-valued logic have been advanced. Nuel Belnap considered the challenge of question answering by computer in 1975. Noting human fallibility, he was concerned with the case where two contradictory facts were loaded into memory, and then a query was made. "We all know about the fecundity of contradictions in two-valued logic: contradictions are never isolated, infecting as they do the whole system.
Logique polyvalenteLes logiques polyvalentes (ou multivalentes, ou multivaluées) sont des alternatives à la logique classique aristotélicienne, bivalente, dans laquelle toute proposition doit être soit vraie soit fausse. Elles sont apparues à partir des années 1920, surtout à la suite des travaux du logicien polonais Jan Łukasiewicz. Elles sont principalement étudiées au niveau du seul calcul propositionnel et peu au niveau du calcul des prédicats.
Logique ternaireLa logique ternaire, ou logique 3 états, est une branche du calcul des propositions qui étend l'algèbre de Boole, en considérant, en plus des états VRAI et FAUX, l'état INCONNU. Dans la logique ternaire de Stephen Cole Kleene, les tables de vérité des fonctions de base sont les suivantes : D'une certaine manière, ces propriétés correspondent à l'intuition : par exemple, si on ignore si A est vrai ou faux, son inverse est tout aussi incertain. Les autres fonctions logiques se déduisent de par leur définition, la distributivité continuant à s'appliquer.
Finite-valued logicIn logic, a finite-valued logic (also finitely many-valued logic) is a propositional calculus in which truth values are discrete. Traditionally, in Aristotle's logic, the bivalent logic, also known as binary logic was the norm, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e. "undecided").
Infinite-valued logicIn logic, an infinite-valued logic (or real-valued logic or infinitely-many-valued logic) is a many-valued logic in which truth values comprise a continuous range. Traditionally, in Aristotle's logic, logic other than bivalent logic was abnormal, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e.
Niveau de FermiLe niveau de Fermi est une caractéristique propre à un système qui traduit la répartition des électrons dans ce système en fonction de la température. La notion de niveau de Fermi est utilisée en physique et en électronique, notamment dans le cadre du développement des composants semi-conducteurs. Concrètement, le niveau de Fermi est une fonction de la température mais il peut être considéré, en première approximation, comme une constante, laquelle équivaudrait alors au niveau de plus haute énergie occupé par les électrons du système à la température de .
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Logique floueLa logique floue (fuzzy logic, en anglais) est une logique polyvalente où les valeurs de vérité des variables — au lieu d'être vrai ou faux — sont des réels entre 0 et 1. En ce sens, elle étend la logique booléenne classique avec des . Elle consiste à tenir compte de divers facteurs numériques pour qu'on souhaite acceptable.
Logique de ŁukasiewiczEn mathématique, la logique de Łukasiewicz est une logique polyvalente, non-classique. Elle a été définie à l'origine au début du par Jan Łukasiewicz comme une logique ternaire; elle a ensuite été généralisé à n-valeur (pour tous n fini) ainsi qu'à une infinité de variante à valeurs multiples, les deux sont propositionnelle et du premier ordre. La version א0-valeur a été publié en 1930 par Łukasiewicz et Alfred Tarski; par conséquent, elle est parfois appelé la logique de Łukasiewicz-Tarski.
Chimie supramoléculaireLa chimie supramoléculaire est une des branches de la chimie qui repose sur les interactions non-covalentes ou faibles entre atomes au sein d'une molécule ou entre molécules, au sein d'un ensemble moléculaire. Son objectif est de comprendre ou de construire des édifices de taille nanométrique. Le principe est d'utiliser des briques moléculaires qui, une fois mélangées en solution, dans des conditions contrôlées, s'autoassemblent pour donner des édifices plus complexes.
Énergie de FermiL'énergie de Fermi, EF, en mécanique quantique, est l'énergie du plus haut état quantique occupé dans un système par des fermions à . Parfois, le terme est confondu avec le niveau de Fermi, qui décrit un sujet proche quoique différent, le niveau de Fermi représentant le potentiel chimique des fermions. Ces deux quantités sont les mêmes à , mais diffèrent pour toute autre température.
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 .
Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
Algèbre de Boole (logique)Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. L'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.
Gaz de FermiUn gaz de Fermi idéal est un état de la matière constitué d'un ensemble de nombreux fermions sans interaction. Les fermions sont des particules ayant un spin demi-entier (1/2, 3/2), comme les électrons, les protons et les neutrons ; la propriété essentielle des fermions est de ne pas pouvoir occuper en même temps le même état quantique, en raison du principe d'exclusion de Pauli.
Surface de FermiEn mécanique quantique et en physique de la matière condensée, la surface de Fermi est une limite abstraite utile pour prédire les caractéristiques électriques, magnétiques, etc. de matériaux, en particulier des métaux. La description de la surface de Fermi ne se fait pas dans le réseau cristallin réel, mais dans le réseau réciproque où l'énergie peut être directement exprimée en fonction de la quantité de mouvement. Le réseau réciproque est obtenu par une transformée de Fourier du réseau réel et est un outil indispensable pour la description des propriétés d'un solide en physique.
Molecular logic gateA molecular logic gate is a molecule that performs a logical operation based on one or more physical or chemical inputs and a single output. The field has advanced from simple logic systems based on a single chemical or physical input to molecules capable of combinatorial and sequential operations such as arithmetic operations (i.e. moleculators and memory storage algorithms). Molecular logic gates work with input signals based on chemical processes and with output signals based on spectroscopic phenomena.
Interrupteur moléculaireUn interrupteur moléculaire est une molécule qui oscille réversiblement entre deux ou plusieurs états. Idéalement, une des propriétés de ces états est fortement modifiée que ce soit la couleur, la conductivité, la luminescence ou la structure. La conversion peut être induite par la lumière (interrupteurs photochromiques) ou par un changement de pH, de la température, du courant électrique, du microenvironnement, par un système redox, par la présence d’un ligand ou bien même dans le cas de molécules chirales par dichroïsme circulaire (interrupteurs chiroptiques).
Système isolévignette|Propriétés des systèmes isolés, fermés et ouverts dans l'échange d'énergie et de matière. Un système isolé, par opposition à un système ouvert, est un système physique qui n'interagit pas avec ses environnements. On dit d’un système qu’il est isolé s’il n'échange ni matière, ni chaleur, ni travail avec l'extérieur (paroi adiabatique et indéformable) – un système fermé peut échanger de la chaleur ou du travail avec l'extérieur, mais pas de la matière.
Problème de la mesure quantiqueLe problème de la mesure quantique consiste en un ensemble de problèmes, qui mettent en évidence des difficultés de corrélation entre les postulats de la mécanique quantique et le monde macroscopique tel qu'il nous apparaît ou tel qu'il est mesuré.
