Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Wheat allergyWheat allergy is an allergy to wheat which typically presents itself as a food allergy, but can also be a contact allergy resulting from occupational exposure. Like all allergies, wheat allergy involves immunoglobulin E and mast cell response. Typically the allergy is limited to the seed storage proteins of wheat. Some reactions are restricted to wheat proteins, while others can react across many varieties of seeds and other plant tissues. Wheat allergy is rare. Prevalence in adults was found to be 0.
Egg allergyEgg allergy is an immune hypersensitivity to proteins found in chicken eggs, and possibly goose, duck, or turkey eggs. Symptoms can be either rapid or gradual in onset. The latter can take hours to days to appear. The former may include anaphylaxis, a potentially life-threatening condition which requires treatment with epinephrine. Other presentations may include atopic dermatitis or inflammation of the esophagus. In the United States, 90% of allergic responses to foods are caused by cow's milk, eggs, wheat, shellfish, peanuts, tree nuts, fish, and soybeans.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
Diagramme de phaseUn diagramme de phase, ou diagramme de phases, est une représentation graphique utilisée en thermodynamique, généralement à deux ou trois dimensions, représentant les domaines de l'état physique (ou phase) d'un système (corps pur ou mélange de corps purs), en fonction de variables, choisies pour faciliter la compréhension des phénomènes étudiés. Les diagrammes les plus simples concernent un corps pur avec pour variables la température et la pression ; les autres variables souvent utilisées sont l'enthalpie, l'entropie, le volume massique, ainsi que la concentration en masse ou en volume d'un des corps purs constituant un mélange.
Anticorps monoclonalLes anticorps monoclonaux sont des anticorps produits naturellement par une même lignée de lymphocytes B activés ou plasmocytes, reconnaissant le même épitope d'un antigène. Afin de pouvoir être utilisés comme thérapie, ils sont produits grâce à une cellule issue de la fusion entre un lymphocyte B et une cellule cancéreuse (myélome) appelée hybridome. Durant les années 1970, il était connu qu'un cancer (myélome) des cellules B produisait de grandes quantités d'anticorps identiques.
État solidevignette|Solide en laiton conçu par Piet Hein prenant la forme d'un superœuf.|alt=Superœuf solide de couleur dorée posé sur une surface indéfinissable. L’état solide est un état de la matière caractérisé par l'absence de liberté entre les molécules ou les ions (métaux par exemple). Les critères macroscopiques de la matière à l'état solide sont : le solide a une forme propre ; le solide a un volume propre. Si un objet solide est ferme, c'est grâce aux liaisons entre les atomes, ions ou molécules composants du solide.
Matière amorpheUn matériau amorphe est une substance dans laquelle les atomes ne respectent aucun ordre à moyenne et grande distance (comparée au diamètre moléculaire), ce qui la distingue des composés cristallisés. La condition sur la distance est importante car la structure des matériaux amorphes présente très souvent un ordre à courte distance (quelques diamètres moléculaires). Les verres, les élastomères et les liquides sont des substances amorphes. En géosciences, le terme générique de minéraloïde est utilisé pour désigner la classe de ces matériaux non-cristallins.
Transition de phasevignette|droite|Noms exclusifs des transitions de phase en thermodynamique. En physique, une transition de phase est la transformation physique d'un système d'une phase vers une autre, induite par la variation d'un paramètre de contrôle externe (température, champ magnétique...). Une telle transition se produit lorsque ce paramètre externe atteint une valeur seuil (ou valeur « critique »). La transformation traduit généralement un changement des propriétés de symétrie du système.
