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.
Bétonthumb|Aspect hétérogène de la surface d'un béton de ciment, appelé communément béton, et constitué de ciment, d'eau et de granulats fins (sable) et grossiers (graviers). Le béton est un assemblage de matériaux de nature généralement minérale. Il met en présence des matières inertes, appelées granulats ou agrégats (graviers, gravillons, sables), et un liant (ciment, bitume, argile), c'est-à-dire une matière susceptible d'en agglomérer d'autres ainsi que des adjuvants qui modifient les propriétés physiques et chimiques du mélange.
Stress–strain analysisStress–strain analysis (or stress analysis) is an engineering discipline that uses many methods to determine the stresses and strains in materials and structures subjected to forces. In continuum mechanics, stress is a physical quantity that expresses the internal forces that neighboring particles of a continuous material exert on each other, while strain is the measure of the deformation of the material. In simple terms we can define stress as the force of resistance per unit area, offered by a body against deformation.
Matériau de constructionLes matériaux de construction sont des matériaux utilisés dans les secteurs de la construction : bâtiments et travaux publics (souvent désignés par le sigle BTP). Ils couvrent une vaste gamme des matériaux qui inclut principalement le bois, le verre, l'acier, l'aluminium, les textiles, les matières plastiques (isolants notamment) et les matériaux issus de la transformation de produits de carrières, qui peuvent être plus ou moins élaborés (incluant le béton et divers dérivés de l'argile tels que briques, tuiles, carrelages et divers éléments sanitaires).
Béton de cimentthumb|upright=1.0|Un mètre cube de béton (représentant la production mondiale annuelle de béton par habitant). Le béton de ciment, couramment appelé béton, est un mélange de ciment, de granulats, d'eau et d'adjuvants. Histoire du béton de ciment Ciment Le ciment se compose essentiellement de chaux, de silice, d'alumine et d'oxyde de fer combinés au silicate et aluminate de calcium. Les différents ciments résultent du mélange de clinker, de calcaire, de laitier et de cendres volantes (qui sont des composés à effet pouzzolanique, mais non considérés comme des pouzzolanes).
Pure type systemNOTOC In the branches of mathematical logic known as proof theory and type theory, a pure type system (PTS), previously known as a generalized type system (GTS), is a form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these. The framework can be seen as a generalisation of Barendregt's lambda cube, in the sense that all corners of the cube can be represented as instances of a PTS with just two sorts. In fact, Barendregt (1991) framed his cube in this setting.
DolomieLa dolomie est une roche sédimentaire carbonatée composée d'au moins 50 % de dolomite, un carbonate double de calcium et de magnésium, de composition chimique , qui cristallise en prismes losangiques (rhomboèdres). Son nom dérive de celui du géologue, minéralogiste et volcanologue français Déodat de Dolomieu, qui découvrit cette roche. La dolomitisation est la formation de dolomie. La dolomie est donc une roche sédimentaire composée principalement de dolomite (entre 50 et 100 %) et de calcite, qui n'ont pas la même densité (dolomite : 2,87 ; calcite : 2,71), jouant un rôle fondamental dans l'érosion de la roche.
Mortier (matériau)thumb|Trois briques maintenues ensemble par un mortier. Le mortier est le mélange à consistance de pâte ou de boue, d'un liant et d'agrégats avec de l'eau. Il est utilisé en maçonnerie comme élément de liaison, de scellement ou comme enduit. Techniquement parlant, c'est une colle. Les professionnels du bâtiment qui utilisent le mortier sont le maçon, le couvreur, le carreleur et le tailleur de pierre. Jadis, la fonction était dévolue au gâcheur de mortier, qui le gâchait, c'est-à-dire le mélangeait.
Carbonate de calciumLe carbonate de calcium (CaCO) est composé d'ions carbonate (CO) et d'ions calcium (Ca). Cette substance blanche a une masse molaire de 100,1 g/mol. Le carbonate de calcium est le composant majeur des calcaires comme la craie, mais également du marbre. C'est aussi le constituant principal des coquilles d'animaux marins, du corail et des escargots, ainsi que des coquilles d'œufs des amniotes (à l'exception bien sûr des mammifères thériens dont les œufs, internes, sont sans coquille). Ca + ⇌ .
ClinkerLe clinker est un constituant du ciment, qui résulte de la cuisson à très haute température d'un mélange composé d'environ 80 % de calcaire (CaCO3 qui apporte l'oxyde de calcium, CaO) et de 20 % d'aluminosilicates (essentiellement des argiles : phyllosilicates) qui apportent les oxydes de silicium (SiO2), d'aluminium () et de fer (FeO et ). La « farine » ou le « cru » est formé du mélange de poudre de calcaire et d'argile. La cuisson, ou clinkérisation, se fait à une température d'environ , ce qui explique la forte consommation énergétique de ce processus.
