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.
Relief (géomorphologie)Le relief est la forte variation verticale d'une surface solide, soit positivement, en saillie, soit négativement, en creux. Ce mot est souvent employé pour caractériser la forme de la lithosphère terrestre. La géomorphologie distingue traditionnellement trois grands types de relief : la plaine ; le plateau ; la montagne. D'autres types de relief incluent la vallée, la colline, le fjord, la gorge et, immergés, le haut-fond, le mont sous-marin, la dorsale et la fosse océanique.
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.
DonnéeUne donnée est ce qui est connu et qui sert de point de départ à un raisonnement ayant pour objet la détermination d'une solution à un problème en relation avec cette donnée. Cela peut être une description élémentaire qui vise à objectiver une réalité, le résultat d'une comparaison entre deux événements du même ordre (mesure) soit en d'autres termes une observation ou une mesure. La donnée brute est dépourvue de tout raisonnement, supposition, constatation, probabilité.
Terrain cartographyTerrain cartography or relief mapping is the depiction of the shape of the surface of the Earth on a map, using one or more of several techniques that have been developed. Terrain or relief is an essential aspect of physical geography, and as such its portrayal presents a central problem in cartographic design, and more recently geographic information systems and geovisualization. The most ancient form of relief depiction in cartography, hill profiles are simply illustrations of mountains and hills in profile, placed as appropriate on generally small-scale (broad area of coverage) maps.
Modèle de donnéesEn informatique, un modèle de données est un modèle qui décrit la manière dont sont représentées les données dans une organisation métier, un système d'information ou une base de données. Le terme modèle de données peut avoir deux significations : Un modèle de données théorique, c'est-à-dire une description formelle ou un modèle mathématique. Voir aussi modèle de base de données Un modèle de données instance, c'est-à-dire qui applique un modèle de données théorique (modélisation des données) pour créer un modèle de données instance.
Drainage agricolevignette|Drainage agricole. En agriculture, sylviculture et parfois dans le domaine de l'urbanisme, le drainage est une opération qui consiste à provoquer artificiellement l'évacuation de l'eau gravitaire présente dans la macro-porosité du sol à la suite de précipitations. Le drainage a été intensivement pratiqué dans presque tous les bassins hydrographiques d'Europe de l’Ouest, dans certaines zones d’Asie, puis d’Amérique du Nord, non sans impacts hydrologiques et écologiques.
Algèbre de LieEn mathématiques, une algèbre de Lie, nommée en l'honneur du mathématicien Sophus Lie, est un espace vectoriel qui est muni d'un crochet de Lie, c'est-à-dire d'une loi de composition interne bilinéaire, alternée, et qui vérifie la relation de Jacobi. Une algèbre de Lie est un cas particulier d'algèbre sur un corps. Soit K un corps commutatif. Une algèbre de Lie sur K est un espace vectoriel sur K muni d'une application bilinéaire de dans qui vérifie les propriétés suivantes : Le produit est appelé crochet de Lie (ou simplement crochet) de et .
Rivièrevignette|redresse|Après le torrent se forme la rivière (Hautes-Pyrénées). vignette|Phénomène de surcreusement du lit majeur, pouvant participer à un phénomène d'aridification, le niveau piézométrique de la nappe descendant avec celui de la rivière (Bardenas Reales). vignette|Le Waver (Pays-Bas). vignette|Embouchure de la rivière Batiscan (Québec) En hydrographie, une rivière est un cours d'eau au débit moyen à modéré (supérieur à ), recevant des affluents et qui se jette dans une autre rivière ou dans un fleuve.
Groupe de LieEn mathématiques, un groupe de Lie est un groupe qui est aussi une variété différentielle. D'une part, un groupe est une structure algébrique munie d'une opération binaire, typiquement une multiplication et son inverse la division, ou alors une addition et son inverse la soustraction. D'autre part, une variété est un espace qui localement ressemble à un espace euclidien. Ici, on s'intéresse à un ensemble qui est à la fois un groupe et une variété : nous pouvons multiplier les éléments entre eux, calculer l'inverse d'un élément.
