EauL'eau est une substance chimique constituée de molécules . Ce composé, très stable, mais aussi très réactif, est un excellent solvant à l'état liquide. Dans de nombreux contextes, le terme eau est employé au sens restreint d'eau à l'état liquide, ou pour désigner une solution aqueuse diluée (eau douce, eau potable, eau de mer, eau de chaux). L'eau est ubiquitaire sur Terre et dans l'atmosphère, sous ses trois états, solide (glace), liquide et gazeux (vapeur d'eau).
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.
Cristalvignette|Cristaux. vignette|Cristaux de sel obtenus par cristallisation lente dans une saumure à température ambiante. Un cristal est un solide dont les constituants (atomes, molécules ou ions) sont assemblés de manière régulière, par opposition au solide amorphe. Par « régulier » on veut généralement dire qu'un même motif est répété à l'identique un grand nombre de fois selon un réseau régulier, la plus petite partie du réseau permettant de recomposer l'empilement étant appelée une « maille ».
Cohérence (logique)En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des réalisations qui lui donnent un sens. La première définition est syntaxique au sens où elle utilise des déductions ou démonstrations, qui sont des objets finis.
Cristal liquideUn cristal liquide est un état de la matière qui combine des propriétés d'un liquide ordinaire et celles d'un solide cristallisé. On exprime son état par le terme de « mésophase » ou « état mésomorphe » (du grec « de forme intermédiaire »). La nature de la mésophase diffère suivant la nature et la structure du mésogène, molécule à l'origine de la mésophase, ainsi que des conditions de température, de pression et de concentration. thumb|Rudolf Virchow.
ClinkerLe clinker est un constituant du ciment, qui résulte de la cuisson à très haute température d'un mélange composé d'environ 80 % de calcaire (CaCO3 qui apporte l'oxyde de calcium, CaO) et de 20 % d'aluminosilicates (essentiellement des argiles : phyllosilicates) qui apportent les oxydes de silicium (SiO2), d'aluminium () et de fer (FeO et ). La « farine » ou le « cru » est formé du mélange de poudre de calcaire et d'argile. La cuisson, ou clinkérisation, se fait à une température d'environ , ce qui explique la forte consommation énergétique de ce processus.
Prestressed concretePrestressed concrete is a form of concrete used in construction. It is substantially "prestressed" (compressed) during production, in a manner that strengthens it against tensile forces which will exist when in service. This compression is produced by the tensioning of high-strength "tendons" located within or adjacent to the concrete and is done to improve the performance of the concrete in service. Tendons may consist of single wires, multi-wire strands or threaded bars that are most commonly made from high-tensile steels, carbon fiber or aramid fiber.
Empreinte eauLempreinte eau (on parle également d'empreinte sur l'eau) est le volume total d'eau virtuelle utilisée pour produire un produit ou un service. Comme on le fait pour l'empreinte écologique, on peut également évaluer l'empreinte eau d'une entreprise, d'un pays, d'un individu, d'une ville etc. L'empreinte de l'eau ou Water footprint en anglais est un indicateur basé sur la consommation effective d’eau aux différents stades de la production d’un produit par le consommateur ou le producteur.
Théorie oméga-cohérenteEn logique mathématique une théorie arithmétique est appelée théorie ω-cohérente (oméga-cohérente) quand, pour toute propriété P des nombres entiers que l'on peut exprimer dans le langage de la théorie, si pour chaque entier n, P(n) est démontrable dans la théorie, alors ¬∀x P(x) n'est pas démontrable dans la théorie (¬ pour la négation, ∀ pour la quantification universelle, « pour tout »). Quand on prend pour P un énoncé clos (qui ne dépend pas de x) on retrouve la définition de la cohérence, appelée parfois dans ce contexte cohérence simple, qui est donc conséquence de l'ω-cohérence.
Surface régléeEn géométrie, une surface réglée est une surface par chaque point de laquelle passe une droite, appelée génératrice, contenue dans la surface. On peut décrire une surface réglée S en la considérant comme la réunion d'une famille de droites D(u) dépendant d'un paramètre u parcourant une partie I de l'ensemble des réels. Il suffit pour cela de se donner pour chaque u dans I un point P(u) et un vecteur directeur de D(u). On obtient alors une représentation paramétrique de la surface S : L'arc paramétré par est appelé une courbe directrice de S.
