Grande écoleUne grande école est un établissement de l'enseignement supérieur français hors du système universitaire, qui recrute ses élèves sur concours. Le concept de grande école est créé au pour former les cadres techniques et militaires de l'État. Le concept de grande école est propre à l'enseignement supérieur français. Il désigne des établissements très sélectifs qui recrutent leurs élèves par concours. Ils . Plus de 60 % des P-DG du CAC 40 étaient issus d'une grande école française en 2018, comme sept des huit présidents de la .
Cimentvignette|Du ciment, fourni en sac, prêt à être mélangé avec de l’eau et des granulats. Le ciment est un liant hydraulique (qui durcit sous l'action de l'eau), utilisé dans la préparation du béton, et aujourd'hui le plus souvent employé dans la confection des dallages, des parpaings, des enduits et des mortiers. Le principe est de chauffer à très haute température du calcaire et de l'argile pour former des nodules de silicates de calcium, le clinker. Ceux-ci sont ensuite broyés finement.
Ciment Portlandthumb|right|280px|Sacs de ciment Portland. Les ciments Portland sont des liants hydrauliques composés principalement de silicates de calcium hydrauliques qui font prise et durcissent en vertu d'une réaction chimique à l'eau appelée hydratation. Lorsqu'on ajoute la pâte (ciment, air et eau) aux granulats (sable et gravier, pierre concassée ou autre matériau granulaire), elle agit comme une colle et lie ensemble les granulats pour former une masse semblable à de la pierre, le béton, le matériau artificiel le plus polyvalent et le plus répandu qui existe.
Diffraction de neutronsLa diffractométrie de neutrons est une technique d'analyse basée sur la diffraction des neutrons sur la matière. Elle est complémentaire à la diffractométrie de rayons X. L'appareil de mesure utilisé s'appelle un diffractomètre. Les données collectées forment le diagramme de diffraction ou diffractogramme. La diffraction n'ayant lieu que sur la matière cristalline, on parle aussi de radiocristallographie. Pour les matériaux non-cristallins, on parle de diffusion. La diffraction fait partie des méthodes de diffusion élastique.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
X-ray filterAn X-ray filter is a material placed in front of an X-ray source in order to reduce the intensity of particular wavelengths from its spectrum and selectively alter the distribution of X-ray wavelengths within a given beam. When X-rays hit matter, part of the incoming beam is transmitted through the material and part of it is absorbed by the material. The amount absorbed is dependent on the material's mass absorption coefficient and tends to decrease for incident photons of greater energy.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
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.
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 « ∃! ».
