-
1 restricted predicate calculus
The English-Russian dictionary general scientific > restricted predicate calculus
-
2 restricted predicate calculus
Большой англо-русский и русско-английский словарь > restricted predicate calculus
-
3 restricted predicate calculus
Математика: узкое исчисление предикатовУниверсальный англо-русский словарь > restricted predicate calculus
-
4 restricted predicate calculus
English-russian biological dictionary > restricted predicate calculus
-
5 restricted predicate calculus
лог. узкое исчисление предикатовEnglish-Russian dictionary of computer science and programming > restricted predicate calculus
-
6 restricted predicate calculus
логикаEnglish-Russian scientific dictionary > restricted predicate calculus
-
7 restricted predicate calculus
English-Russian information technology > restricted predicate calculus
-
8 predicate calculus
The English-Russian dictionary general scientific > predicate calculus
-
9 higher predicate calculus
The English-Russian dictionary general scientific > higher predicate calculus
-
10 several-sorted predicate calculus
The English-Russian dictionary general scientific > several-sorted predicate calculus
-
11 calculus
calculus исчислениеextended propositional calculus расширенное пропозициональное исчислениеfunctional calculus функциональное исчислениеmany-valued propositional calculus многозначное пропозициональное исчислениеpredicate calculus исчисление предикатовpropositional calculus пропозициональное исчислениеrestricted predicate calculus узкое исчисление предикатовEnglish-Russian dictionary of biology and biotechnology > calculus
-
12 calculus
-
13 calculus
исчисление
– Boolean calculus
– calculus of probability
– calculus of variations
– differential calculus
– extended calculus
– functional calculus
– infinitesimal calculus
– integral calculus
– logical calculus
– matrix calculus
– operational calculus
– predicate calculus
– problem calculus
– propositional calculus
– sentential calculus
– spinor calculus
– tensor calculus
– vector calculus
one-place predicate calculus — исчисление одноместных предикатов
-
14 calculus
1) исчисление2) вычисление; вычисления•- calculus of approximations
- calculus of residues
- extended calculus
- functional calculus
- higher predicate calculus
- index calculus
- matrix calculus
- operational calculus
- predicate calculus
- predicative calculus
- propositional calculus
- relational calculus
- restricted predicate calculus
- sentential calculus
- situation calculusEnglish-Russian dictionary of computer science and programming > calculus
-
15 predicate
1) предикат
2) сказуемое
3) предикатный
4) утверждать
– predicate calculus
– predicate logic
– resolvable predicate
one-place predicate calculus — исчисление одноместных предикатов
-
16 calculus
1. n мат. исчисление2. n калькуляция3. n мед. камень -
17 calculus
-
18 calculus
-
19 restricted
1. a узкий, ограниченный2. a преим. предназначенный для узкого круга, для элиты3. a конфиденциальный; для служебного пользованияrestricted publication — издание с грифом «конфиденциально»
Синонимический ряд:1. classified (adj.) classified; confidential2. definite (adj.) circumscribed; definite; determinate; fixed; narrow; precise3. limited (adj.) limited; modified; qualified; reserved4. local (adj.) isolated; local; localised5. prisoner (adj.) captive; enslaved; hostage; imprisoned; in bondage; incarcerated; jailed; prisoner; restrained6. segregated (adj.) segregated7. restricted (verb) barred; circumscribed; confined; delimited; limited; restricted -
20 restricted
1) несвободный
2) ограниченный
3) суженый
4) узкий
– in a restricted sense
– in the restricted sense
– restricted burning
– restricted flow
– restricted limit
– restricted randomization
– restricted spread
restricted burning charge — <cosm.> шашка пороховая бронированная
- 1
- 2
См. также в других словарях:
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
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
Ronald Fagin — Infobox Scientist name = Ronald Fagin birth place = Oklahoma, OK, USA residence = Los Gatos, California nationality = American field = Logic in Computer Science, Database theory, Finite model theory, Reasoning about knowledge work institution =… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Relational algebra — Not to be confused with Relation algebra. Relational algebra, an offshoot of first order logic (and of algebra of sets), deals with a set of finitary relations (see also relation (database)) that is closed under certain operators. These operators … Wikipedia