Structure (logique mathématique)En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble. Les structures usuelles de l'algèbre sont des structures en ce sens. On utilise également le mot modèle comme synonyme de structure (voir Note sur l'utilisation du mot modèle). La sémantique de la logique du premier ordre se définit dans une structure.
Molécule hypervalenteUne molécule hypervalente est une espèce chimique considérée comme comportant un atome qui, en ayant plus de huit électrons dans sa couche de valence, ne respecte pas la règle de l'octet. L'ion triiodure , le trifluorure de chlore , l'ion phosphate , le pentachlorure de phosphore , l'hexafluorure de soufre ou encore l'heptafluorure d'iode sont des exemples de molécules hypervalentes. Ce concept a été introduit en 1969 par Jeremy I. Musher pour les molécules formées par les éléments des colonnes 15 à 18 dans tous leurs états d'oxydation autres que l'état le plus bas.
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.
