Mathematical proofA mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".
Proof theoryProof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.
Covalent bond classification methodThe covalent bond classification (CBC) method is also referred to as the LXZ notation. It was published by M. L. H. Green in 1995 as a solution for the need to describe covalent compounds such as organometallic complexes in a way that is not prone to limitations resulting from the definition of oxidation state. Instead of simply assigning a charge to an atom in the molecule (i.e. the oxidation state), the covalent bond classification method analyzes the nature of the ligands surrounding the atom of interest, which is often a transition metal.
Two-photon excitation microscopyTwo-photon excitation microscopy (TPEF or 2PEF) is a fluorescence imaging technique that is particularly well-suited to image scattering living tissue of up to about one millimeter in thickness. Unlike traditional fluorescence microscopy, where the excitation wavelength is shorter than the emission wavelength, two-photon excitation requires simultaneous excitation by two photons with longer wavelength than the emitted light. The laser is focused onto a specific location in the tissue and scanned across the sample to sequentially produce the image.
Enzyme activatorEnzyme activators are molecules that bind to enzymes and increase their activity. They are the opposite of enzyme inhibitors. These molecules are often involved in the allosteric regulation of enzymes in the control of metabolism. An example of an enzyme activator working in this way is fructose 2,6-bisphosphate, which activates phosphofructokinase 1 and increases the rate of glycolysis in response to the hormone glucagon.
Triple bondA triple bond in chemistry is a chemical bond between two atoms involving six bonding electrons instead of the usual two in a covalent single bond. Triple bonds are stronger than the equivalent single bonds or double bonds, with a bond order of three. The most common triple bond is in a nitrogen N2 molecule; the second most common is that between two carbon atoms, which can be found in alkynes. Other functional groups containing a triple bond are cyanides and isocyanides.
Mathematical inductionMathematical induction is a method for proving that a statement is true for every natural number , that is, that the infinitely many cases all hold. Informal metaphors help to explain this technique, such as falling dominoes or climbing a ladder: Mathematical induction proves that we can climb as high as we like on a ladder, by proving that we can climb onto the bottom rung (the basis) and that from each rung we can climb up to the next one (the step). A proof by induction consists of two cases.
Image resolutionImage resolution is the level of detail an holds. The term applies to digital images, film images, and other types of images. "Higher resolution" means more image detail. Image resolution can be measured in various ways. Resolution quantifies how close lines can be to each other and still be visibly resolved. Resolution units can be tied to physical sizes (e.g. lines per mm, lines per inch), to the overall size of a picture (lines per picture height, also known simply as lines, TV lines, or TVL), or to angular subtense.
LogicLogic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.
Automated theorem provingAutomated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science. While the roots of formalised logic go back to Aristotle, the end of the 19th and early 20th centuries saw the development of modern logic and formalised mathematics.
