free calculus
Смотреть что такое "free calculus" в других словарях:
Calculus (dental) — Heavy staining and calculus deposits exhibited on the lingual surface of the mandibular anterior teeth, along the gumline. In dentistry, calculus or tartar is a form of hardened dental plaque. It is caused by the continual accumulation of… … Wikipedia
Calculus — A stone, as in the urinary tract. Also, the calcium salt deposits on the teeth. The word calculus in Latin means a pebble. Pebbles were once used for counting, from which came the mathematical field of calculus. A urinary calculus is a pebble in… … Medical dictionary
Free Lie algebra — In mathematics, a free Lie algebra, over a given field K, is a Lie algebra generated by a set X, without any imposed relations. Contents 1 Definition 2 Universal enveloping algebra 3 Hall sets … Wikipedia
Free variables and bound variables — In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place. The idea is related to … Wikipedia
free variable — Logic. (in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it. Cf. bound variable. * * * … Universalium
free variable — noun : a variable whose range is not restricted by quantification * * * Logic. (in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it. Cf. bound variable … Useful english dictionary
π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) … Wikipedia
Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the … Wikipedia
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
Modal μ-calculus — In theoretical computer science, the modal μ calculus (also μ calculus, but this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding a least fixpoint operator μ and a greatest fixpoint… … Wikipedia
