substitution table
101Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …
102Algorithmic efficiency — In computer science, efficiency is used to describe properties of an algorithm relating to how much of various types of resources it consumes. Algorithmic efficiency can be thought of as analogous to engineering productivity for a repeating or… …
103Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …
104baseball — /bays bawl /, n. 1. a game of ball between two nine player teams played usually for nine innings on a field that has as a focal point a diamond shaped infield with a home plate and three other bases, 90 ft. (27 m) apart, forming a circuit that… …
105Physical Sciences — ▪ 2009 Introduction Scientists discovered a new family of superconducting materials and obtained unique images of individual hydrogen atoms and of a multiple exoplanet system. Europe completed the Large Hadron Collider, and China and India took… …
106autel — [ otɛl ] n. m. • alter fin XIe; lat. altare, de altus « haut » 1 ♦ Dans l Antiquité, Tertre de gazon, table de pierre à l usage des sacrifices offerts aux dieux. Dresser, élever un autel. Autel domestique. ⇒ laraire. « On dresse deux autels de… …
107produit — [ prɔdɥi ] n. m. • 1554; p. p. subst. de produire I ♦ LE PRODUIT (DE). 1 ♦ Nombre qui est le résultat d une multiplication. Produit de plusieurs facteurs. Produit d un nombre multiplié par lui même. ⇒ carré. L espace parcouru est égal au produit… …
108List of trigonometric identities — Cosines and sines around the unit circle …
109Pyroxene — Figure 1: A sample of pyroxenite, a rock consisting mostly of pyroxene minerals. The pyroxenes are a group of important rock forming inosilicate minerals found in many igneous and metamorphic rocks. They share a common structure consisting of… …
110Longest common subsequence problem — Not to be confused with longest common substring problem. The longest common subsequence (LCS) problem is to find the longest subsequence common to all sequences in a set of sequences (often just two). Note that subsequence is different from a… …
