-
1 free calculus
Большой англо-русский и русско-английский словарь > free calculus
-
2 free calculus
Математика: свободное исчисление -
3 free calculus
мат. -
4 quantifier-free calculus
Большой англо-русский и русско-английский словарь > quantifier-free calculus
-
5 quantifier-free calculus
Математика: бескванторное исчислениеУниверсальный англо-русский словарь > quantifier-free calculus
-
6 quantifier-free calculus
English-Russian scientific dictionary > quantifier-free calculus
-
7 calculus
-
8 calculus-free cholecystitis
stone-free cholecystitis, calculus-free cholecystitisEnglish-Russian dictionary of medicine > calculus-free cholecystitis
-
9 free differential calculus
Математика: свободное дифференциальное исчислениеУниверсальный англо-русский словарь > free differential calculus
-
10 calculus-free cholecystitis
steinlose Cholezystitis fFachwörterbuch Medizin Englisch-Deutsch > calculus-free cholecystitis
-
11 free differential calculus
English-Russian scientific dictionary > free differential calculus
-
12 quantifier-free
бескванторный - quantifier-free calculus - quantifier-free formula - quantifier-free inference - quantifier-free sentenceБольшой англо-русский и русско-английский словарь > quantifier-free
-
13 stone-free cholecystitis
stone-free cholecystitis, calculus-free cholecystitisEnglish-Russian dictionary of medicine > stone-free cholecystitis
-
14 error-free
< qualit> (e.g. calculus, execution, manufacturing) ■ fehlerfrei -
15 свободное исчисление
free calculus мат.Русско-английский научно-технический словарь Масловского > свободное исчисление
-
16 бескванторный
-
17 бескванторное исчисление
Большой англо-русский и русско-английский словарь > бескванторное исчисление
-
18 свободное исчисление
Большой англо-русский и русско-английский словарь > свободное исчисление
-
19 бескванторное исчисление
Mathematics: quantifier-free calculusУниверсальный русско-английский словарь > бескванторное исчисление
-
20 свободное исчисление
Mathematics: free calculusУниверсальный русско-английский словарь > свободное исчисление
- 1
- 2
См. также в других словарях:
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