Organic SynthesesOrganic Syntheses (abrégé en Org. Synth.) est une revue scientifique à comité de lecture en libre accès fondée en 1921 et qui publie annuellement des procédures détaillées et vérifiées de synthèses de composés organiques à destination de la communauté des chimistes. L'histoire d'Organic Syntheses débute en 1914 avec la Première Guerre mondiale. Du fait du conflit, les États-Unis sont coupés des fournisseurs européens qui fournissent la plupart des produits chimiques nécessaires à la recherche américaine.
Synthèse chimiqueUne synthèse chimique est un enchaînement de réactions chimiques mis en œuvre volontairement ou non permettant l'obtention d'un ou de plusieurs produits finaux, parfois avec isolation de composés chimiques intermédiaires. Les synthèses chimiques peuvent avoir lieu à toutes sortes d'échelles : du laboratoire de recherche (de l'ordre du gramme ou moins) à l'industrie chimique (souvent de l'ordre de la tonne ou plus) ou dans la nature (biosynthèses).
Synthèse totaleEn chimie organique, la synthèse totale est en principe la synthèse chimique complète de molécules organiques à partir de morceaux plus simples et habituellement sans recourir à des processus biologiques. Dans la pratique, ces morceaux plus simples sont commercialement disponibles en grandes quantités et sont souvent des précurseurs pétrochimiques. Parfois, des produits « naturels » (comme le sucre) sont utilisés comme point de départ : il est fait l'hypothèse qu'ils sont fabriqués naturellement ou qu'ils peuvent être recréés à partir de leur éléments constitutifs.
Aldéhydealt=Structure atomique de l'aldéhyde.|vignette|Structure atomique de l'aldéhyde. Un aldéhyde est un composé organique, faisant partie de la famille des composés carbonylés, dont l'un des atomes de carbone primaire (relié au plus à 1 atome de carbone) de la chaîne carbonée porte un groupement carbonyle. Un aldéhyde contient donc la séquence : L'aldéhyde le plus simple (R réduit au seul atome H) est le formaldéhyde (ou méthanal), aussi appelé formol lorsqu'il est en solution aqueuse : 75px Un aldéhyde dérive formellement d'un alcool primaire (oxydation) dont le groupement hydroxyde -OH est en bout de chaîne et se forme à la suite de l'enlèvement de deux atomes H d'où le nom « alcool déshydrogéné » ou aldéhyde.
Bloc de béton manufacturévignette|Construction d'une habitation en blocs de béton. vignette|Mur de refend et blocs de chaînage en « U ». Le bloc de béton manufacturé (BBM) est un élément de maçonnerie moulé, inauguré avec l'invention du ciment, et qui a été produit en masse à partir des années 1950. En France Les fabricants vendent des blocs de béton manufacturé (abrégé « BBM » ou « bloc de béton ») puis la maîtrise d'œuvre concevant les bâtiments prescrit des agglomérés de ciment ou agglomérés de béton creux (« agglo » dans le langage courant).
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
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).
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Grammaire formelleUne grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation logique, compilation (analyse syntaxique), en théorie de la calculabilité et dans le traitement des langues naturelles (tout particulièrement en ce qui concerne leur morphologie et leur syntaxe).
