AlkyneAcetylene Propyne 1-Butyne In organic chemistry, an alkyne is an unsaturated hydrocarbon containing at least one carbon—carbon triple bond. The simplest acyclic alkynes with only one triple bond and no other functional groups form a homologous series with the general chemical formula . Alkynes are traditionally known as acetylenes, although the name acetylene also refers specifically to , known formally as ethyne using IUPAC nomenclature. Like other hydrocarbons, alkynes are generally hydrophobic.
AlkeneIn organic chemistry, an alkene is a hydrocarbon containing a carbon–carbon double bond. The double bond may be internal or in the terminal position. Terminal alkenes are also known as α-olefins. The International Union of Pure and Applied Chemistry (IUPAC) recommends using the name "alkene" only for acyclic hydrocarbons with just one double bond; alkadiene, alkatriene, etc., or polyene for acyclic hydrocarbons with two or more double bonds; cycloalkene, cycloalkadiene, etc.
Organoboron chemistryOrganoboron chemistry or organoborane chemistry is the chemistry of organoboron compounds or organoboranes, which are chemical compounds of boron and carbon that are organic derivatives of borane (BH3), for example trialkyl boranes. . Organoboron compounds are important reagents in organic chemistry enabling many chemical transformations, the most important ones being hydroboration and carboboration. Reactions of organoborates and boranes involve the transfer of a nucleophilic group attached to boron to an electrophilic center either inter- or intramolecularly.
AlkaneIn organic chemistry, an alkane, or paraffin (a historical trivial name that also has other meanings), is an acyclic saturated hydrocarbon. In other words, an alkane consists of hydrogen and carbon atoms arranged in a tree structure in which all the carbon–carbon bonds are single. Alkanes have the general chemical formula . The alkanes range in complexity from the simplest case of methane (), where n = 1 (sometimes called the parent molecule), to arbitrarily large and complex molecules, like pentacontane () or 6-ethyl-2-methyl-5-(1-methylethyl) octane, an isomer of tetradecane ().
AcetylideIn organometallic chemistry, acetylide refers to chemical compounds with the chemical formulas and , where M is a metal. The term is used loosely and can refer to substituted acetylides having the general structure (where R is an organic side chain). Acetylides are reagents in organic synthesis. The calcium acetylide commonly called calcium carbide is a major compound of commerce. Alkali metal and alkaline earth metal acetylides of the general formula MC≡CM are salt-like Zintl phase compounds, containing C22− ions.
HydroborationIn organic chemistry, hydroboration refers to the addition of a hydrogen-boron bond to certain double and triple bonds involving carbon (, , , and ). This chemical reaction is useful in the organic synthesis of organic compounds. Hydroboration produces organoborane compounds that react with a variety of reagents to produce useful compounds, such as alcohols, amines, or alkyl halides. The most widely known reaction of the organoboranes is oxidation to produce alcohols typically by hydrogen peroxide.
Chemical reactionA chemical reaction is a process that leads to the chemical transformation of one set of chemical substances to another. Classically, chemical reactions encompass changes that only involve the positions of electrons in the forming and breaking of chemical bonds between atoms, with no change to the nuclei (no change to the elements present), and can often be described by a chemical equation. Nuclear chemistry is a sub-discipline of chemistry that involves the chemical reactions of unstable and radioactive elements where both electronic and nuclear changes can occur.
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.
CarbeneIn organic chemistry, a carbene is a molecule containing a neutral carbon atom with a valence of two and two unshared valence electrons. The general formula is or where the R represents substituents or hydrogen atoms. The term "carbene" may also refer to the specific compound , also called methylene, the parent hydride from which all other carbene compounds are formally derived. Carbenes are classified as either singlets or triplets, depending upon their electronic structure.
Formal grammarIn formal language theory, a grammar (when the context is not given, often called a formal grammar for clarity) describes how to form strings from a language's alphabet that are valid according to the language's syntax. A grammar does not describe the meaning of the strings or what can be done with them in whatever context—only their form. A formal grammar is defined as a set of production rules for such strings in a formal language. Formal language theory, the discipline that studies formal grammars and languages, is a branch of applied mathematics.
CycloalkeneIn organic chemistry, a cycloalkene or cycloolefin is a type of alkene hydrocarbon which contains a closed ring of carbon atoms and either one or more double bonds, but has no aromatic character. Some cycloalkenes, such as cyclobutene and cyclopentene, can be used as monomers to produce polymer chains. Due to geometrical considerations, smaller cycloalkenes are almost always the cis isomers, and the term cis tends to be omitted from the names.
Formal languageIn logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules. The alphabet of a formal language consists of symbols, letters, or tokens that concatenate into strings of the language. Each string concatenated from symbols of this alphabet is called a word, and the words that belong to a particular formal language are sometimes called well-formed words or well-formed formulas.
PhotocatalysisIn chemistry, photocatalysis is the acceleration of a photoreaction in the presence of a photocatalyst, the excited state of which "repeatedly interacts with the reaction partners forming reaction intermediates and regenerates itself after each cycle of such interactions." In many cases, the catalyst is a solid that upon irradiation with UV- or visible light generates electron–hole pairs that generate free radicals. Photocatalysts belong to three main groups; heterogeneous, homogeneous, and plasmonic antenna-reactor catalysts.
Small modular reactorSmall modular reactors (SMRs) are a proposed class of nuclear fission reactors, smaller than conventional nuclear reactors, which can be built in one location (such as a factory), then shipped, commissioned, and operated at a separate site. The term SMR refers to the size, capacity and modular construction only, not to the reactor type and the nuclear process which is applied. Designs range from scaled down versions of existing designs to generation IV designs.
Nuclear powerNuclear power is the use of nuclear reactions to produce electricity. Nuclear power can be obtained from nuclear fission, nuclear decay and nuclear fusion reactions. Presently, the vast majority of electricity from nuclear power is produced by nuclear fission of uranium and plutonium in nuclear power plants. Nuclear decay processes are used in niche applications such as radioisotope thermoelectric generators in some space probes such as Voyager 2. Generating electricity from fusion power remains the focus of international research.
Formal power seriesIn mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sums, etc.). A formal power series is a special kind of formal series, whose terms are of the form where is the th power of a variable ( is a non-negative integer), and is called the coefficient.
Formal systemA formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system. A formal system is essentially an "axiomatic system". In 1921, David Hilbert proposed to use such a system as the foundation for the knowledge in mathematics. A formal system may represent a well-defined system of abstract thought.
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.
Generating functionIn mathematics, a generating function is a way of encoding an infinite sequence of numbers (an) by treating them as the coefficients of a formal power series. This series is called the generating function of the sequence. Unlike an ordinary series, the formal power series is not required to converge: in fact, the generating function is not actually regarded as a function, and the "variable" remains an indeterminate. Generating functions were first introduced by Abraham de Moivre in 1730, in order to solve the general linear recurrence problem.
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.
