Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Topologie de l'ordreEn mathématiques, la topologie de l'ordre est une topologie naturelle définie sur tout ensemble ordonné (E, ≤), et qui dépend de la relation d'ordre ≤. Lorsque l'on définit la topologie usuelle de la droite numérique R, deux approches équivalentes sont possibles. On peut se fonder sur la relation d'ordre dans R, ou sur la valeur absolue de la distance entre deux nombres. Les égalités ci-dessous permettent de passer de l'une à l'autre : La valeur absolue se généralise en la notion de distance, qui induit le concept de topologie d'un espace métrique.
Carte géologiquevignette|Carte géologique de l'Amérique du Nord. Une carte géologique est la représentation des roches et structures géologiques, présentes à l'affleurement ou en subsurface, d'une région. Son objectif est de présenter la répartition spatiale des faciès lithologiques, leur succession, ainsi que les diverses structures d'ordre tectonique. Ces cartes font le plus souvent abstraction des formations superficielles récentes, pour se concentrer sur le substrat rocheux sous-jacent ; cependant, la plupart des cartes géologiques récentes d'échelle locale incorporent ces données, en vue de leur application dans certains domaines, comme la géotechnique.
Cover bandEn anglais, on appelle cover band ou tribute band un groupe spécialisé dans les reprises de chansons célèbres. Ce terme signifie littéralement « groupe de reprise ». Un cover band joue des morceaux composés et enregistrés par d'autres artistes, généralement des chansons très célèbres.
Siltitevignette|Siltite. vignette|Siltite. Jardin géologique de Dolní Počernice, Prague (République tchèque). La siltite, souvent désignée par son nom anglais de siltstone et parfois nommée aleurolite, est une roche sédimentaire dont la granulométrie, entre , est intermédiaire entre celle du grès, la plus grossière, et celle des lutites (ou pélites), plus fine (les mudstones et les schistes ont une granulométrie encore plus fine). La siltite est composée à plus des 2/3 de silt (limon), dont les grains ont une taille entre .
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Géologievignette|Discordance angulaire de Siccar Point (Écosse) où des couches peu pentées de grès rouges du Dévonien recouvrent les formations verticalisées de grauwackes du Silurien. vignette|Carte mondiale des principales plaques, massifs et chaînes de montagnes, et une sélection des principaux points chauds. La géologie est la science dont le principal objet d'étude est la Terre, et plus particulièrement la lithosphère.
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.
Order theoryOrder theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary. Orders are everywhere in mathematics and related fields like computer science. The first order often discussed in primary school is the standard order on the natural numbers e.
Rock chrétienLe rock chrétien est une forme de musique rock interprétée par des artistes et des groupes chrétiens et qui fait référence à des thèmes liés à la foi chrétienne. La plupart des groupes chrétiens sont liés aux labels de musique chrétienne contemporaine, mais certains artistes sont indépendants. Il y a plusieurs définitions de ce qui qualifie un groupe de «rock chrétien». Les groupes de rock chrétiens qui expriment explicitement leurs croyances et utilisent l'imagerie religieuse dans leurs textes, comme Servant, Third Day et Petra, ont tendance à être considérés comme faisant partie de l'industrie de la musique chrétienne contemporaine (CCM).
