É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é.
