NeigeLa neige () est une forme de précipitations atmosphériques constituée de particules de glace ramifiées, de structure et d'aspect très variables qui sont la plupart du temps cristallisées et agglomérées en flocons contenant de l'air. Mais cette glace peut aussi être sous forme de grains (neige en grains, neige roulée) ou mouillée. Lorsqu'il y a suffisamment de froid et d'humidité dans l'atmosphère, la neige se forme naturellement par condensation solide de la vapeur d'eau à saturation autour des noyaux de congélation.
VentLe vent est le mouvement d'une partie du gaz constituant une atmosphère planétaire située à la surface d'une planète. Les vents sont globalement provoqués par un réchauffement inégalement réparti à la surface de la planète provenant du rayonnement stellaire (énergie solaire) et par la rotation de la planète. Sur Terre, ce déplacement est essentiel à l'explication de tous les phénomènes météorologiques. Le vent est mécaniquement décrit par les lois de la dynamique des fluides, comme les courants marins.
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).
Hivervignette|Paysage d'un jour d'hiver enneigé au bois de la Cambre à Bruxelles, en 2017. vignette|Paysage d'un jour d'hiver enneigé à Neulingen (Bade-Wurtemberg, Allemagne). thumb|L'hiver en Finlande. Lhiver est l’une des quatre saisons de l’année dans les zones tempérées et polaires de la Terre. L'hiver suit l'automne et précède le printemps. Il existe plusieurs définitions de l'hiver : astronomique (saison comprenant les jours les plus courts de l'année), météorologique (saison comprenant les mois les plus froids de l'année), et calendaire (dont les dates varient selon les pays).
Vent dominantright|thumb|400px|Carte mondiale des vents dominants à la surface terrestre. au nord du tropique du Cancer et au sud du tropique du Capricorne. Vents d'est (les alizés) sous les tropiques : dans l'hémisphère nord, dans l'hémisphère sud. vignette|redresse=1.3|Carte météorologique animée de l'Atlantique Nord. L'anticyclone des Açores (A) et la dépression d'Islande régissent les climats de l'Europe. En été, l'anticyclone étire une crête barométrique jusqu'à la Cornouaille, donnant des vents d'ouest.
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.
PrécipitationsLes précipitations désignent toutes les formes de l'eau à l'état liquide ou solide provenant de l'atmosphère. Ces hydrométéores (cristaux de glace ou gouttelettes d'eau), ayant été soumis à des processus de condensation et d'agrégation à l'intérieur des nuages, sont devenus trop lourds pour demeurer en suspension dans l'atmosphère et tombent au sol ou s'évaporent en virga avant de l'atteindre. Les précipitations se caractérisent par trois principaux paramètres : leur volume, leur intensité et leur fréquence qui varient selon les lieux et les périodes (jours, mois ou années).
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.
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.
Winter solsticeThe winter solstice, also called the hibernal solstice, occurs when either of Earth's poles reaches its maximum tilt away from the Sun. This happens twice yearly, once in each hemisphere (Northern and Southern). For that hemisphere, the winter solstice is the day with the shortest period of daylight and longest night of the year, when the Sun is at its lowest daily maximum elevation in the sky. Either pole experiences continuous darkness or twilight around its winter solstice. The opposite event is the summer solstice.
