Clé primaireDans une base de données relationnelle, une clé primaire est la donnée qui permet d'identifier de manière unique un enregistrement dans une table. Une clé primaire peut être composée d'une ou de plusieurs colonnes de la table. Deux lignes distinctes de la table ne peuvent pas avoir les mêmes valeurs dans les colonnes définies comme clé primaire. Il est possible de définir pour une même table plusieurs contraintes d'unicité, mais au plus une seule clé primaire. Une clé primaire est choisie parmi les clés candidates.
Module projectifEn mathématiques, un module projectif est un module P (à gauche par exemple) sur un anneau A tel que pour tout morphisme surjectif f : N → M entre deux A-modules (à gauche) et pour tout morphisme g : P → M, il existe un morphisme h : P → N tel que g = fh, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : P est projectif si pour tout module N, tout morphisme de P vers un quotient de N se factorise par N.
PelouseUne pelouse est, du point de vue botanique, une formation végétale formée d'espèces herbacées de faible hauteur (ne dépassant guère 20 à de hauteur), essentiellement des graminées, comme les prairies ou les gazons. Laissant le sol à nu par endroits, elle peut être parsemée de rares petits arbrisseaux. Elles accueillent une riche biodiversité et abritent des végétaux très différents, quelquefois endémiques voire rares. Les pelouses issues d'un pastoralisme extensif (prairies) sont aujourd'hui menacées du fait notamment de la déprise agricole.
Natural resource managementNatural resource management (NRM) is the management of natural resources such as land, water, soil, plants and animals, with a particular focus on how management affects the quality of life for both present and future generations (stewardship). Natural resource management deals with managing the way in which people and natural landscapes interact. It brings together natural heritage management, land use planning, water management, bio-diversity conservation, and the future sustainability of industries like agriculture, mining, tourism, fisheries and forestry.
Genetic variationGenetic variation is the difference in DNA among individuals or the differences between populations among the same species. The multiple sources of genetic variation include mutation and genetic recombination. Mutations are the ultimate sources of genetic variation, but other mechanisms, such as genetic drift, contribute to it, as well. Genetic variation can be identified at many levels. Identifying genetic variation is possible from observations of phenotypic variation in either quantitative traits (traits that vary continuously and are coded for by many genes (e.
Relation binaireEn mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie par un sous-ensemble du produit cartésien E × F, soit une collection de couples dont la première composante est dans E et la seconde dans F. Cette collection est désignée par le graphe de la relation. Les composantes d'un couple appartenant au graphe d'une relation R sont dits en relation par R. Une relation binaire est parfois appelée correspondance entre les deux ensembles.
Élevagevignette|upright=1.3|Élevage ovin et bovin au . La traite du troupeau, peint par David Teniers le Jeune. L’élevage est l'ensemble des activités qui assurent l'entretien et la multiplication des animaux souvent domestiques, parfois sauvages, pour l'usage des humains. Les premiers hommes vivaient de cueillette, de la pêche et de chasse. Au Néolithique les hommes passent d'une économie prédatrice à une économie productrice, ce qui se traduit concrètement par la domestication de certaines espèces dont les caractéristiques évoluent sous la pression d'une sélection artificielle menée par l'homme et dont l'archéologie apporte des preuves.
Module sur un anneauEn mathématiques, et plus précisément en algèbre générale, au sein des structures algébriques, : pour un espace vectoriel, l'ensemble des scalaires forme un corps tandis que pour un module, cet ensemble est seulement muni d'une structure d'anneau (unitaire, mais non nécessairement commutatif). Une partie des travaux en théorie des modules consiste à retrouver les résultats de la théorie des espaces vectoriels, quitte pour cela à travailler avec des anneaux plus maniables, comme les anneaux principaux.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Bos taurusLe (Bos taurus) est une espèce de bovins de l'Ancien Monde issu de l'aurochs sauvage. Il s'agit d'un mammifère artiodactyle de grande taille ( pour ) appartenant au sous-ordre des Ruminants. Deux sous-espèces principales sont distinguées : le Bœuf domestique d'Europe (Bos taurus taurus, syn. Bos primigenius taurus) et le Zébu (Bos taurus indicus, syn. Bos primigenius f. taurus), auxquelles certains auteurs ajoutent Bos taurus primigenius, l'aurochs éteint au sous sa forme sauvage, mais dont les éleveurs tentent de reconstituer une race très proche.
