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).
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Ordre totalEn mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que On dit alors que E est totalement ordonné par ≤. Une relation binaire ≤ sur un ensemble E est un ordre total si (pour tous éléments x, y et z de E) : x ≤ x (réflexivité) ; si x ≤ y et y ≤ x, alors x = y (antisymétrie) ; si x ≤ y et y ≤ z, alors x ≤ z (transitivité) ; x ≤ y ou y ≤ x (totalité). Les trois premières propriétés sont celles faisant de ≤ une relation d'ordre.
RepriseUne reprise, également appelée en anglais ou , est un morceau existant et qu'un autre interprète que son créateur (au sens interprète original) rejoue, de façon similaire ou différente. Pour la musique classique, on parle d'interprétation et non pas de reprise (ce terme étant parfois synonyme de Da capo dans une œuvre musicale). Le mot « reprise » a également une signification très spécifique en matière de facture d'orgue. On parle aussi de version (mais elle peut être interprétée par le même artiste).
Ordre lexicographiqueEn mathématiques, un ordre lexicographique est un ordre que l'on définit sur les suites finies d'éléments d'un ensemble ordonné (ou, de façon équivalente, les mots construits sur un ensemble ordonné). Sa définition est une généralisation de l'ordre du dictionnaire : l'ensemble ordonné est l'alphabet, les mots sont bien des suites finies de lettres de l'alphabet. La principale propriété de l'ordre lexicographique est de conserver la totalité de l'ordre initial.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Order isomorphismIn the mathematical field of order theory, an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets). Whenever two posets are order isomorphic, they can be considered to be "essentially the same" in the sense that either of the orders can be obtained from the other just by renaming of elements. Two strictly weaker notions that relate to order isomorphisms are order embeddings and Galois connections.
Grès (géologie)Le grès est une roche sédimentaire détritique, issue de l’agrégation de grains de taille majoritairement sableuse ( à ) et consolidé lors de la diagenèse. Les grains constituant le grès sont généralement issus de l'érosion de roches préexistantes qui déterminent en grande partie sa composition, principalement constituée de quartz et feldspath. Selon le degré de cimentation et sa composition, il peut s'agir d'une roche très friable à cohérente.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
