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.
Roche sédimentairevignette|Couches de roches sédimentaires datant du Trias (Utah, États-Unis). Les roches sédimentaires proviennent de l'accumulation de sédiments qui se déposent le plus souvent en couches ou lits superposés, appelés strates. Elles résultent de l'accumulation de sédiments divers, c'est-à-dire d'éléments solides (clastes : morceaux de roches ou fragments minéraux, débris coquilliers) et de précipitations à partir de solutions (elles-mêmes constitutives ou à l'origine de ciments, souvent intercalaires entre grains, particules ou clastes).
Soil physicsSoil physics is the study of soil's physical properties and processes. It is applied to management and prediction under natural and managed ecosystems. Soil physics deals with the dynamics of physical soil components and their phases as solids, liquids, and gases. It draws on the principles of physics, physical chemistry, engineering, and meteorology. Soil physics applies these principles to address practical problems of agriculture, ecology, and engineering.
Espace poreux du solL'espace poreux du sol contient les phases liquide et gazeuse du sol, c'est-à-dire tout, sauf la phase solide qui contient principalement des minéraux de différentes tailles ainsi que des composés organiques. Afin de mieux comprendre la porosité, une série d'équations a été utilisée pour exprimer les interactions quantitatives entre les trois phases du sol. Les macropores ou fractures jouent un rôle majeur dans les taux d'infiltration dans de nombreux sols ainsi que dans les modèles d'écoulement préférentiel, la conductivité hydraulique et l'évapotranspiration.
Educational assessmentEducational assessment or educational evaluation is the systematic process of documenting and using empirical data on the knowledge, skill, attitudes, aptitude and beliefs to refine programs and improve student learning. Assessment data can be obtained from directly examining student work to assess the achievement of learning outcomes or can be based on data from which one can make inferences about learning. Assessment is often used interchangeably with test, but not limited to tests.
Soil moistureSoil moisture is the water content of the soil. It can be expressed in terms of volume or weight. Soil moisture measurement can be based on in situ probes (e.g., capacitance probes, neutron probes) or remote sensing methods. Water that enters a field is removed from a field by runoff, drainage, evaporation or transpiration.
Droit de l'environnementvignette|redresse=1.4|Émissions annuelles de carbone par région du monde. Le droit de l'environnement concerne l'étude ou l'élaboration de règles juridiques visant la compréhension, la protection, l'utilisation, la gestion ou la restauration de l'environnement contre perturbation écologique sous toutes ses formes - terrestres, aquatiques et marines, naturelles et culturelles, voire non-terrestres (droit spatial). C'est un droit technique et complexe, local et global (européen, droit de la mer, international.
Zone vadoseLa zone vadose ou zone non saturée (ZNS) du sol est la partie du sol ou du sous-sol située à l'interface entre atmosphère-pédosphère et la nappe phréatique. Dans cette zone, les pores du sol sont partiellement remplis d'eau (à l'exception de la frange capillaire) et de gaz (le plus souvent de l'air), contrairement à la zone saturée en eau (ou aquifères), dans laquelle la totalité du système poreux est rempli d'eau. La taille de cette zone dépend très fortement des caractéristiques climatiques, du type de sol et de l'hydrogéologie.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Rochethumb|Un morceau de basalte. Une roche (du latin vulgaire rocca) est un matériau naturel presque toujours solide et constitué, essentiellement ou en totalité, d'un assemblage de minéraux. Les roches comportent parfois des fossiles (dans les roches sédimentaires), du verre résultant du refroidissement rapide d'un liquide (tachylites et obsidiennes produites par le volcanisme, et pseudotachylites produites par frottement) ou des agrégats d'autres roches.
