Alcynethumb|200px|Exemples d’alcynes. Les alcynes sont des hydrocarbures possédant une insaturation caractérisée par la présence d’une triple liaison carbone-carbone. Les deux carbones sont hybridés sp. La triple liaison est la combinaison de deux liaisons π et d’une liaison σ. La densité électronique de la molécule est répartie de façon cylindrique le long de la liaison C-C. On dit que l’on a affaire à un alcyne vrai ou à un alcyne terminal si R ou R' est un hydrogène.
AlcèneLes alcènes sont des hydrocarbures insaturés, caractérisés par la présence d'au moins une double liaison covalente entre deux atomes de carbone. Ces liaisons sont toujours de types covalentes normales parfaites. Les alcènes non cycliques n'ayant qu'une double liaison possèdent une formule brute de la forme CnH2n où n est un entier naturel supérieur ou égal à 2. L'alcène le plus simple est l'éthylène (nom usuel de l'éthène). Le terme « oléfine » était le nom donné par le passé aux alcènes ; bien qu'encore employé (ainsi que le terme « polyoléfine »), il tombe progressivement en désuétude.
Composé organoboréLes composés organoborés sont une classe de composés organiques comportant au moins une liaison entre un atome de carbone et un atome de bore. Le terme « organoborane » est parfois utilisé comme synonyme de composé organoboré, mais il est aussi utilisé dans un sens plus restreint pour désigner les seuls dérives alkylés ou arylés du borane (BH3), comme les trialkylboranes (BR3). Parmi les autres grandes familles des composés organoborés, on compte les acides boroniques et les esters boroniques Organoboran.
AlcaneLes alcanes sont des hydrocarbures saturés. Ils ne sont constitués que d'atomes de carbone (C) et d'hydrogène (H), liés entre eux par des liaisons simples, les atomes de carbone sont reliés à un nombre maximal d'atomes d'hydrogène — d'où le nom de « saturé ». Les alcanes non cycliques possèdent une formule brute de la forme CnH2n+2 où n est un entier naturel non nul. Inversement : les alcènes, les alcynes, et les composés aromatiques sont des hydrocarbures insaturés.
AcétylureL'acétylure ou acétylénure ou éthynure ou encore dicarbure est un anion divalent de formule C22− ou (C≡C)2−. C'est la base conjuguée de l'éthyne, C2H2 ou H-C≡C-H, le prototype des alcynes qui se comporte comme un acide faible, c'est-à-dire qui peut perdre ses deux protons. Ce terme est aussi utilisé pour tout anion monovalent de la forme R-C≡C−, où R peut être tout substituant organique monovalent comme hydrogénoacétylure, H-C≡C− ou méthylacétylure, H3C-C≡C−.
HydroborationL'hydroboration est une réaction de chimie organique transformant un alcène en alcool par utilisation de borane, elle fut découverte par Herbert C. Brown, chimiste britannique lauréat du Prix Nobel de chimie en 1979. L'hydrogène et le groupement hydroxyle se fixent en position cis réalisant ainsi une synhydroxylation. L'hydroboration est une réaction qui suit l'inverse de la règle de Markovnikov car l'alcool se trouve sur l'atome de carbone le plus hydrogéné (le moins substitué).
Réaction chimiqueUne réaction chimique est une transformation de la matière au cours de laquelle les espèces chimiques qui constituent la matière sont modifiées. Les espèces qui sont consommées sont appelées réactifs ; les espèces formées au cours de la réaction sont appelées produits. Depuis les travaux de Lavoisier (1777), les scientifiques savent que la réaction chimique se fait sans variation mesurable de la masse : , qui traduit la conservation de la masse. thumb|La réaction aluminothermique est une oxydo-réduction spectaculaire.
Azide-alkyne Huisgen cycloadditionThe azide-alkyne Huisgen cycloaddition is a 1,3-dipolar cycloaddition between an azide and a terminal or internal alkyne to give a 1,2,3-triazole. Rolf Huisgen was the first to understand the scope of this organic reaction. American chemist Karl Barry Sharpless has referred to this cycloaddition as "the cream of the crop" of click chemistry and "the premier example of a click reaction". In the reaction above azide 2 reacts neatly with alkyne 1 to afford the product triazole as a mixture of 1,4-adduct (3a) and 1,5-adduct (3b) at 98 °C in 18 hours.
Carbènevignette|Exemple de carbène : cyclopropylméthylidène. Le carbène est une molécule organique contenant un atome de carbone divalent. Des règles IUPAC précises permettent de les nommer. Très stable dans un environnement tétravalent, le carbone peut également adopter un mode de liaison divalent. On lui attribue alors un doublet non liant et une lacune électronique. Les carbènes sont en général utilisés comme intermédiaires réactionnels dans quelques réactions chimiques, où leur très forte instabilité permet de rendre réactives des fonctions relativement inertes.
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).
CycloalcèneUn cycloalcène est un type d'alcène possédant un cycle carboné mais n'ayant pas de caractère aromatique. Certains cycloalcènes, comme le cyclobutène ou le cyclopentène, peuvent être utilisés comme monomères pour produire des chaînes de polymère et ceci par polymérisation par ouverture de cycle. Une classe particulière de cycloalcènes est celle des annulènes qui regroupe les cycloalcènes qui présentent une alternance régulière de double liaison et de liaison simple dans leur cycle comme le cyclobutadiène et le cyclooctatétraène.
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.
PhotocatalyseEn chimie, la photocatalyse est l'accélération d'une photoréaction en présence de catalyseur. alt=Schéma présentant le principe de la photocatalyse.|vignette|Schéma présentant le principe de la photocatalyse. Le principe de la photocatalyse repose sur l’activation d’un semi-conducteur par la lumière. Le semi-conducteur est considéré comme un catalyseur. Son principe est proche de la catalyse hétérogène où la réaction d'oxydoréduction se passe à la surface du catalyseur.
Petit réacteur modulaireUn petit réacteur modulaire (PRM) (en anglais : small modular reactor, abrégé en SMR) est un réacteur nucléaire à fission, de taille et puissance plus faibles que celles des réacteurs conventionnels, fabriqué en usine et transporté sur le site d'implantation pour y être installé. Les réacteurs modulaires permettent de réduire les travaux sur site, d'accroître l'efficacité du confinement et la sûreté des matériaux nucléaires. Les PRM (d'une puissance de ) sont proposés comme une alternative à moindre coût, ou comme complément, aux réacteurs nucléaires conventionnels.
Énergie nucléaireSelon le contexte d'usage, le terme d’énergie nucléaire recouvre plusieurs acceptions, toutes liées à la physique et aux réactions de noyaux atomiques. Dans le langage courant, l’énergie nucléaire correspond aux usages civils et militaires de l’énergie libérée lors des réactions de fission nucléaire ou de fusion nucléaire de noyaux atomiques au sein d'un réacteur nucléaire ou lors d'une explosion atomique.
Série formelleEn algèbre, les séries formelles sont une généralisation des polynômes autorisant des sommes infinies, de la même façon qu'en analyse, les séries entières généralisent les fonctions polynomiales, à ceci près que dans le cadre algébrique, les problèmes de convergence sont évités par des définitions ad hoc. Ces objets sont utiles pour décrire de façon concise des suites et pour trouver des formules pour des suites définies par récurrence via ce que l'on appelle les séries génératrices. Soit R un anneau commutatif (unifère).
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.
IsomerIn chemistry, isomers are molecules or polyatomic ions with identical molecular formula – that is, same number of atoms of each element – but distinct arrangements of atoms in space. Isomerism refers to the existence or possibility of isomers. Isomers do not necessarily share similar chemical or physical properties. Two main forms of isomerism are structural or constitutional isomerism, in which bonds between the atoms differ; and stereoisomerism or spatial isomerism, in which the bonds are the same but the relative positions of the atoms differ.
Série génératriceEn mathématiques, et notamment en analyse et en combinatoire, une série génératrice (appelée autrefois fonction génératrice, terminologie encore utilisée en particulier dans le contexte de la théorie des probabilités) est une série formelle dont les coefficients codent une suite de nombres (ou plus généralement de polynômes) ; on dit que la série est associée à la suite. Ces séries furent introduites par Abraham de Moivre en 1730, pour obtenir des formules explicites pour des suites définies par récurrence linéaire.
Equivalence (formal languages)In formal language theory, weak equivalence of two grammars means they generate the same set of strings, i.e. that the formal language they generate is the same. In compiler theory the notion is distinguished from strong (or structural) equivalence, which additionally means that the two parse trees are reasonably similar in that the same semantic interpretation can be assigned to both. Vijay-Shanker and Weir (1994) demonstrates that Linear Indexed Grammars, Combinatory Categorial Grammars, Tree-adjoining Grammars, and Head Grammars are weakly equivalent formalisms, in that they all define the same string languages.
