implicit formula

  • 31Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based …

    Wikipedia

  • 32Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… …

    Wikipedia

  • 33Differentiation of trigonometric functions — Trigonometry History Usage Functions Generalized Inverse functions Further reading …

    Wikipedia

  • 34Dialectic — The School of Athens, by Raphael. Dialectic (also dialectics and the dialectical method) is a method of argument for resolving disagreement that has been central to Indic and European philosophy since antiquity. The word dialectic originated in… …

    Wikipedia

  • 35Affine arithmetic — (AA) is a model for self validated numerical analysis. In AA, the quantities of interest are represented as affine combinations (affine forms) of certain primitive variables, which stand for sources of uncertainty in the data or approximations… …

    Wikipedia

  • 36United States Consumer Price Index — The U.S. Consumer Price Index is a time series measure of the price level of consumer goods and services. The Bureau of Labor Statistics, which started the statistic in 1919, publishes the CPI on a monthly basis. The CPI is calculated by… …

    Wikipedia

  • 37thought — thought1 /thawt/, n. 1. the product of mental activity; that which one thinks: a body of thought. 2. a single act or product of thinking; idea or notion: to collect one s thoughts. 3. the act or process of thinking; mental activity: Thought as… …

    Universalium

  • 38mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… …

    Universalium

  • 39logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …

    Universalium

  • 40Critical theory — Horkheimer, Adorno, Habermas David Rasmussen HEGEL, MARX AND THE IDEA OF A CRITICAL THEORY Critical theory1 is a metaphor for a certain kind of theoretical orientation which owes its origin to Hegel and Marx, its systematization to Horkheimer and …

    History of philosophy