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.
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.
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.
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é.
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.
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.
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.
Science des donnéesLa science des données est l'étude de l’extraction automatisée de connaissance à partir de grands ensembles de données. Plus précisément, la science des données est un domaine interdisciplinaire qui utilise des méthodes, des processus, des algorithmes et des systèmes scientifiques pour extraire des connaissances et des idées à partir de nombreuses données structurées ou non . Elle est souvent associée aux données massives et à l'analyse des données.
ModélisationLa modélisation est la conception et l'utilisation d'un modèle. Selon son objectif (représentation simplifiée, compréhension, prédiction) et les moyens utilisés, la modélisation est dite mathématique, géométrique, 3D, empirique, mécaniste ( modélisation de réseau trophique dans un écosystème), cinématique... Elle nécessite généralement d'être calée par des observations ou mesures faites , lesquelles servent aussi à paramétrer, calibrer ou ajuster le modèle, par exemple en intégrant des facteurs d'influences qui s'avèreraient nécessaires.
DrainageLe terme « drainage » n’apparaît pas avant le en français. « Drainage », de même que « drainer », « drain », « draineur », sont empruntés à l'anglais au milieu (anglicismes). Le terme en français a d'abord eu une connotation agricole, d'assainissement des terres pour l'agriculture. Le mot provient du vieil anglais « dreahnian », « to drain, strain out » « égoutter », du proto-germanique *dreug-, à l'origine des mots « drought », sécheresse, ou « dry », sec, donnant au mot anglais « drainage » d'origine, le sens de « make dry », « sécher ».
Big dataLe big data ( « grosses données » en anglais), les mégadonnées ou les données massives, désigne les ressources d’informations dont les caractéristiques en termes de volume, de vélocité et de variété imposent l’utilisation de technologies et de méthodes analytiques particulières pour créer de la valeur, et qui dépassent en général les capacités d'une seule et unique machine et nécessitent des traitements parallélisés. L’explosion quantitative (et souvent redondante) des données numériques permet une nouvelle approche pour analyser le monde.
Analyse des donnéesL’analyse des données (aussi appelée analyse exploratoire des données ou AED) est une famille de méthodes statistiques dont les principales caractéristiques sont d'être multidimensionnelles et descriptives. Dans l'acception française, la terminologie « analyse des données » désigne donc un sous-ensemble de ce qui est appelé plus généralement la statistique multivariée. Certaines méthodes, pour la plupart géométriques, aident à faire ressortir les relations pouvant exister entre les différentes données et à en tirer une information statistique qui permet de décrire de façon plus succincte les principales informations contenues dans ces données.
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.
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 .
Modèle numérique de terrainUn modèle numérique de terrain (MNT) est une représentation de la topographie (altimétrie et/ou bathymétrie) d’une zone terrestre (ou d'une planète tellurique) sous une forme adaptée à son utilisation par un calculateur numérique (ordinateur). droite|300px|vignette|Le Modèle Numérique de Terrain (MNT) ne prend pas en compte les éléments situés au-dessus de la surface contrairement à un Modèle Numérique d'Élévation (MNE) Un modèle numérique de terrain (MNT) est une représentation en 2,5D de la surface d'un terrain ou d'une planète, créée à partir des données d'altitude du terrain.
Lie theoryIn mathematics, the mathematician Sophus Lie (liː ) initiated lines of study involving integration of differential equations, transformation groups, and contact of spheres that have come to be called Lie theory. For instance, the latter subject is Lie sphere geometry. This article addresses his approach to transformation groups, which is one of the areas of mathematics, and was worked out by Wilhelm Killing and Élie Cartan. The foundation of Lie theory is the exponential map relating Lie algebras to Lie groups which is called the Lie group–Lie algebra correspondence.
Bassin versantvignette|upright=1.5|alt=Vue numérique d'un relief et mise en évidence d'une rivière, de ses affluents et du périmètre de son bassin versant.|Bassin versant de la , en Roumanie. Un bassin versant est une zone géographique de collecte des eaux de surface par un cours d'eau et ses affluents. Il est limité à l'amont par une ligne de partage des eaux qui correspond souvent, mais pas toujours, à une ligne de crête.
Réseau de drainage (géomorphologie)vignette|Drainage dendritique: Brahmapoutre, au Tibet, vu de l'espace: la couverture de neige a fondu dans le système de la vallée. En géomorphologie, les réseaux de drainage, appelés aussi réseaux hydrographiques (en anglais drainage systems, aussi connu sous le nom river systems), sont les réseaux formés par l'ensemble des cours d’eau (ruisseaux, rivières, éventuellement fleuve), des lacs et de leurs connexions d'un bassin hydrographique (bassin versant) donné.
Modèle macro-économiquedroite|vignette|495x495px|Exemple de modèle macro-économique Un modèle macro-économique (ou macroéconomique) est un outil d'analyse destiné à décrire le fonctionnement de l'économie d'un pays ou d'une région. Ces modèles sont généralement conçus pour étudier la dynamique de quantités globales telles que la quantité totale de biens et services produits, le total des revenus, le niveau d'emploi des ressources productives, et le niveau des prix.
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.
