FeldspathUn feldspath est un minéral de la famille des tectosilicates, dont la composition est celle d'un aluminosilicate de sodium, de potassium ou de calcium. Il existe de nombreux feldspaths, dont les principaux sont l'orthose ou le microcline (potassique), l'albite (sodique) et l'anorthite (calcique). On distingue les feldspaths alcalins, souvent translucides, blanchâtres ou roses et riches en alcalins (Na, K), des plagioclases qui diffèrent des précédents par la présence de calcium (Ca) et une faible teneur en potassium (K).
SystèmeUn système est un ensemble d' interagissant entre eux selon certains principes ou règles. Par exemple une molécule, le système solaire, une ruche, une société humaine, un parti, une armée etc. Un système est déterminé par : sa frontière, c'est-à-dire le critère d'appartenance au système (déterminant si une entité appartient au système ou fait au contraire partie de son environnement) ; ses interactions avec son environnement ; ses fonctions (qui définissent le comportement des entités faisant partie du système, leur organisation et leurs interactions) ; Certains systèmes peuvent également avoir une mission (ses objectifs et sa raison d'être) ou des ressources, qui peuvent être de natures différentes (humaine, naturelle, matérielle, immatérielle.
Température thermodynamiqueLa température thermodynamique est une formalisation de la notion expérimentale de température et constitue l’une des grandeurs principales de la thermodynamique. Elle est intrinsèquement liée à l'entropie. Usuellement notée , la température thermodynamique se mesure en kelvins (symbole K). Encore souvent qualifiée de « température absolue », elle constitue une mesure absolue parce qu’elle traduit directement le phénomène physique fondamental qui la sous-tend : l’agitation des constituant la matière (translation, vibration, rotation, niveaux d'énergie électronique).
Chlorure de sodiumLe chlorure de sodium est un composé chimique ionique de formule NaCl. On l'appelle plus communément sel de table ou sel de cuisine, ou tout simplement sel dans le langage courant. Cette roche évaporite a l'aspect d'une matière cristalline, sèche et solide, de densité 2,2, de et surtout friable, très soluble dans l'eau, avec un goût âcre et une saveur salée caractéristique. Cet exhausteur de goût, plus ou moins raffiné, est utilisé depuis des temps immémoriaux pour l'assaisonnement, la préservation et la conservation des aliments.
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.
Dioxyde de siliciumLe dioxyde de silicium, ou silice, est un composé chimique de formule . Il s'agit d'un solide incolore présent en abondance dans le milieu naturel et chez divers êtres vivants. Il existe à l'état libre sous différentes formes cristallines ou amorphes, et combiné chimiquement avec d'autres oxydes dans les silicates, qui sont les principaux constituants de l'écorce terrestre et du manteau terrestre. Libre ou combiné, il représente 60,6 % de la masse de la croûte continentale.
Sulfate de calciumLe sulfate de calcium est un corps composé chimique minéral anhydre, solide de structure ionique , formé simplement d'un anion sulfate et d'un cation de calcium, de formule chimique CaSO4 et de masse molaire 136,14 g/mol. Il correspond en réalité le plus souvent à un corps minéral naturel, nommé anhydrite, typique des évaporites, assez abondant, quoique caché car il se dégrade en gonflant à l'eau, en engendrant en surface le plus souvent un composé dihydratée, CaSO4·2H2O, minéral emblématique des roches évaporites, encore plus abondant, connu par les minéralogistes ou géologues sous le nom de « gypse ».
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.
Chlorurevignette|Sels anhydres de chlorure de cobalt(II). Dans le domaine de la chimie ou de la qualité de l'eau ou de l'air, le terme chlorure désigne : l'ion chlorure Cl− : c'est un atome de chlore chargé d'un électron supplémentaire ; c'est un ion négatif (anion), dit halogénure ; un atome de chlore ayant gagné un électron. Il est aussi produit lors de la dissociation du chlorure d'hydrogène dans l'eau.
Minéralvignette|Quartz. Un minéral est essentiellement une substance chimique cristalline formée par un processus géologique, mais cette définition comporte quelques exceptions. Il peut être décrit, dans la très grande majorité des cas, comme une matière cristallisée caractérisée par sa composition chimique et l'agencement de ses atomes selon une périodicité et une symétrie précises qui se reflètent dans le système cristallin et le groupe d'espace du minéral.
