- symbolic calculus
- мат. символическое исчисление
Большой англо-русский и русско-английский словарь. 2001.
symbolic calculus
Смотреть что такое "symbolic calculus" в других словарях:
symbolic calculus — simbolinis skaičiavimas statusas T sritis automatika atitikmenys: angl. symbolic calculus; symbolic computation vok. symbolisches Rechnen, n rus. символьное вычисление, n pranc. calcul symbolique, m; computation symbolique, f … Automatikos terminų žodynas
symbolic computation — simbolinis skaičiavimas statusas T sritis automatika atitikmenys: angl. symbolic calculus; symbolic computation vok. symbolisches Rechnen, n rus. символьное вычисление, n pranc. calcul symbolique, m; computation symbolique, f … Automatikos terminų žodynas
Symbolic logic — is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical … Wikipedia
Calculus (disambiguation) — Calculus is Latin for pebble, and has a number of meanings in English: In mathematics and computer science Calculus , in its most general sense, is any method or system of calculation. To modern theoreticians the answer to the question what is a… … Wikipedia
calculus — [kal′kyo͞o ləs, kal′kyələs] n. pl. calculi [kal′kyəlī΄] or calculuses [L: see CALCULATE] 1. any abnormal stony mass or deposit formed in the body, as in a kidney or gallbladder or on teeth: see TARTAR (sense 2) 2. Math. a) any system of… … English World dictionary
Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables … Wikipedia
calculus — noun a) calculation, computation lambda calculus b) Any formal system in which symbolic expressions are manipulated according to fixed rules. predicate calculus … Wiktionary
symbolic logic — noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity • Syn: ↑mathematical logic, ↑formal logic • Hypernyms: ↑logic, ↑logical system, ↑system of… … Useful english dictionary
symbolic language — noun : a language that employs symbols either extensively or exclusively; especially : one that has been artificially constructed for the purpose of precise formulations (as in symbolic logic, mathematics, or chemistry) compare calculus 3 * * * a … Useful english dictionary
calculus — noun (plural calculi; also luses) Etymology: Latin, stone (used in reckoning) Date: 1666 1. a. a method of computation or calculation in a special notation (as of logic or symbolic logic) b. the … New Collegiate Dictionary
calculus of individuals — a branch of symbolic logic designed to avoid the terminological platonism inherent in an algebra of classes by recourse to the notion of individuals especially in their relationships of overlapping, discreteness, and being a part … Useful english dictionary
