-
41 прикладное исчисление предикатов
Mathematics: APC (applied predicate calculus), applied predicate calculusУниверсальный русско-английский словарь > прикладное исчисление предикатов
-
42 узкое исчисление предикатов
Mathematics: RPC (restricted predicate calculus), restricted predicate calculusУниверсальный русско-английский словарь > узкое исчисление предикатов
-
43 чистое исчисление предикатов
Mathematics: PPC (pure predicate calculus), pure predicate calculusУниверсальный русско-английский словарь > чистое исчисление предикатов
-
44 исчисление одноместных предикатов
monadic predicate calculus, one-place predicate calculusРусско-английский научно-технический словарь Масловского > исчисление одноместных предикатов
-
45 исчисление предикатов
functional calculus лог., predicate calculus, predicative calculusРусско-английский словарь по вычислительной технике и программированию > исчисление предикатов
-
46 предикат
m. predicate; исчисление предикатов, predicate calculusРусско-английский словарь математических терминов > предикат
-
47 предикат
-
48 исчисление предикатов
functional calculus, predicate calculusРусско-английский словарь по электронике > исчисление предикатов
-
49 исчисление предикатов
functional calculus, predicate calculusРусско-английский словарь по радиоэлектронике > исчисление предикатов
-
50 ПИП
abbrev (прикладное исчисление предикатов), applied predicate calculus -
51 УИП
abbrev (узкое исчисление предикатов), restricted predicate calculus -
52 ЧИП
abbrev (чистое исчисление предикатов), pure predicate calculus -
53 аппарат исчисления предикатов
Mechanics: predicate calculus machineryУниверсальный русско-английский словарь > аппарат исчисления предикатов
-
54 в терминах исчисления предикатов
Programming: in a predicate calculusУниверсальный русско-английский словарь > в терминах исчисления предикатов
-
55 двузначное исчисление предикатов
Mathematics: two-valued predicate calculus (классическое)Универсальный русско-английский словарь > двузначное исчисление предикатов
-
56 дедуктивное исчисление предикатов
Mathematics: deductive predicate calculusУниверсальный русско-английский словарь > дедуктивное исчисление предикатов
-
57 исчисление предикатов :
Information technology: predicate calculusУниверсальный русско-английский словарь > исчисление предикатов :
-
58 исчисление предикатов без равенства
Mathematics: predicate calculus without identityУниверсальный русско-английский словарь > исчисление предикатов без равенства
-
59 исчисление предикатов высших порядков
Mathematics: higher predicate calculusУниверсальный русско-английский словарь > исчисление предикатов высших порядков
-
60 исчисление предикатов первого порядка
Computers: first order predicate calculusУниверсальный русско-английский словарь > исчисление предикатов первого порядка
См. также в других словарях:
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
predicate calculus — The logical calculus in which the expressions include predicate letters, variables, and quantifiers, names, and operation letters, as well as the expressions for truth functions and the propositional variables of the propositional calculus . The… … Philosophy dictionary
predicate calculus — noun Date: 1950 the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions as well as for unanalyzed propositions and logical connectives called also functional calculus compare propositional… … New Collegiate Dictionary
predicate calculus — noun The branch of logic that deals with quantified statements such as there exists an x such that... or for any x, it is the case that... , where x is a member of the domain of discourse. See Also: predicate logic … Wiktionary
predicate calculus — pred′icate cal′culus n. pho functional calculus • Etymology: 1945–50 … From formal English to slang
predicate calculus — noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑functional calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… … Useful english dictionary
predicate calculus — noun the branch of symbolic logic concerned with propositions containing predicates, names, and quantifiers … English new terms dictionary
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … 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
Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… … Wikipedia
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia