Haloform reactionIn chemistry, the haloform reaction is a chemical reaction in which a haloform (, where X is a halogen) is produced by the exhaustive halogenation of an acetyl group (, where R can be either a hydrogen atom, an alkyl or an aryl group), in the presence of a base. The reaction can be used to transform acetyl groups into carboxyl groups () or to produce chloroform (), bromoform (), or iodoform (). Note that fluoroform () can't be prepared in this way. In the first step, the halogen dis-proportionates in the presence of hydroxide to give the halide and hypohalite.
PHIn chemistry, pH (piːˈeɪtʃ ), also referred to as acidity, historically denotes "potential of hydrogen" (or "power of hydrogen"). It is a scale used to specify the acidity or basicity of an aqueous solution. Acidic solutions (solutions with higher concentrations of hydrogen () ions) are measured to have lower pH values than basic or alkaline solutions. The pH scale is logarithmic and inversely indicates the activity of hydrogen ions in the solution. where [H+] is the equilibrium molar concentration (mol/L) of H+ in the solution.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
PhenolPhenol, or Benzenol, (also known as carbolic acid or phenolic acid) is an aromatic organic compound with the molecular formula . It is a white crystalline solid that is volatile. The molecule consists of a phenyl group () bonded to a hydroxy group (). Mildly acidic, it requires careful handling because it can cause chemical burns. Phenol was first extracted from coal tar, but today is produced on a large scale (about 7 million tonnes a year) from petroleum-derived feedstocks.
Dissociation constantIn chemistry, biochemistry, and pharmacology, a dissociation constant () is a specific type of equilibrium constant that measures the propensity of a larger object to separate (dissociate) reversibly into smaller components, as when a complex falls apart into its component molecules, or when a salt splits up into its component ions. The dissociation constant is the inverse of the association constant. In the special case of salts, the dissociation constant can also be called an ionization constant.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Law of mass actionIn chemistry, the law of mass action is the proposition that the rate of the chemical reaction is directly proportional to the product of the activities or concentrations of the reactants. It explains and predicts behaviors of solutions in dynamic equilibrium. Specifically, it implies that for a chemical reaction mixture that is in equilibrium, the ratio between the concentration of reactants and products is constant.
Half-lifeHalf-life (symbol t_1⁄2) is the time required for a quantity (of substance) to reduce to half of its initial value. The term is commonly used in nuclear physics to describe how quickly unstable atoms undergo radioactive decay or how long stable atoms survive. The term is also used more generally to characterize any type of exponential (or, rarely, non-exponential) decay. For example, the medical sciences refer to the biological half-life of drugs and other chemicals in the human body.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
PH indicatorA pH indicator is a halochromic chemical compound added in small amounts to a solution so the pH (acidity or basicity) of the solution can be determined visually or spectroscopically by changes in absorption and/or emission properties. Hence, a pH indicator is a chemical detector for hydronium ions (H3O+) or hydrogen ions (H+) in the Arrhenius model. Normally, the indicator causes the color of the solution to change depending on the pH. Indicators can also show change in other physical properties; for example, olfactory indicators show change in their odor.
