substitution rule
81Penalty (American football) — A penalty flag on the field during a game on November 16, 2008 between the San Francisco 49ers and St. Louis Rams. In American football and Canadian football, a penalty is a sanction called against a team for a violation of the rules, called a… …
82Integral — This article is about the concept of integrals in calculus. For the set of numbers, see integer. For other uses, see Integral (disambiguation). A definite integral of a function can be represented as the signed area of the region bounded by its… …
83Propositional 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… …
84Mean value theorem — For the theorem in harmonic function theory, see Harmonic function#Mean value property. Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables …
85Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… …
86Arena football — This article is about the sport of Arena Football. See Arena Football (video game) for the EA Sports video game of the same name. Arena Football is a sport similar to American football. It is played indoors on a smaller field than American… …
87Designated hitter — In baseball, the designated hitter rule is the common name for Major League Baseball Rule 6.10,[1] an official position adopted by the American League in 1973 that allows teams to designate a player, known as the designated hitter (abbreviated… …
88List of programming languages by category — Programming language lists Alphabetical Categorical Chronological Generational This is a list of programming languages grouped by category. Some languages are listed in multiple categories. Contents …
89Integration by parts — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables Implicit differentiation Taylor s theorem Related rates …
90Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… …
