SubstituantEn chimie organique, un substituant est un atome ou un groupe d'atomes qui remplace un ou plusieurs atomes d'hydrogène sur la chaîne principale d'un hydrocarbure. Les termes substituant et groupe fonctionnel, ainsi que d'autres (par exemple chaîne latérale), sont parfois utilisés de manière presque interchangeable pour décrire des branches d'une chaîne principale. Le suffixe -yle est utilisé pour désigner des composés organiques contenant une liaison simple remplaçant un hydrogène ; -ylidène et -ylidyne sont utilisés avec des liaisons doubles et triples, respectivement.
Charbon actifLe charbon actif, aussi nommé charbon activé ou carbone activé, est un matériau constitué essentiellement de matière carbonée à structure poreuse. On appelle charbon actif tout charbon ayant subi une préparation particulière et qui, de ce fait, possède à un haut degré la propriété de fixer et de retenir certaines molécules amenées à son contact. Il s'agit d'une structure amorphe composée principalement d'atomes de carbone, généralement obtenue après une étape de carbonisation d'un précurseur à haute température.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
