-
61 first-order predicate calculus
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > first-order predicate calculus
-
62 lower predicate calculus
= LPC II; = l.p.c.Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > lower predicate calculus
-
63 логика предикатове
Большой англо-русский и русско-английский словарь > логика предикатове
-
64 логика предикатове
-
65 логика предикатов
Русско-английский политехнический словарь > логика предикатов
-
66 логика предикатов
Русско-английский словарь по электронике > логика предикатов
-
67 логіка прэдыкатаў
predicate logicБеларуска-ангельскі слоўнік матэматычных тэрмінаў і тэрміналагічных словазлучэнняў > логіка прэдыкатаў
-
68 логика предикатов
Русско-английский словарь по радиоэлектронике > логика предикатов
-
69 предикатна логика
predicate logicБългарски-Angleščina политехнически речник > предикатна логика
-
70 predikatenlogica
• predicate logic -
71 логика предикатов
Русско-английский математический словарь > логика предикатов
-
72 предикат
Синонимический ряд:сказуемого (сущ.) сказуемого -
73 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
74 язык предикатов
-
75 логика предикатов
-
76 исчисление предикатов
Русско-английский новый политехнический словарь > исчисление предикатов
-
77 логика предикатов
Русско-английский новый политехнический словарь > логика предикатов
-
78 логика предикатов
Русско-английский словарь по информационным технологиям > логика предикатов
-
79 предикат
Русско-английский словарь по информационным технологиям > предикат
-
80 логика предикатов
predicate logic мат., quantificational logicРусско-английский научно-технический словарь Масловского > логика предикатов
См. также в других словарях:
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
Predicate (logic) — Sometimes it is inconvenient or impossible to describe a set by listing all of its elements. Another useful way to define a set is by specifying a property that the elements of the set have in common. The notation P(x) is used to denote a… … Wikipedia
predicate logic — noun a) The generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. b) First order logic. <! See . See Also: predicate calculus … Wiktionary
monadic predicate logic — noun The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters … Wiktionary
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
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Logic (disambiguation) — Logic is the study of the principles and criteria of valid inference and demonstration.Logic may also refer to:In logic and mathematics*A branch of logic: **Inductive logic, also called induction or inductive reasoning **Informal logic, the study … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Predicate — or predication may refer to:*Predicate (mathematics), a relation, or the boolean valued characteristic function or indicator function of a relation *Predicate (logic), a fundamental concept in first order logic **in Bertrand Russell s theory of… … Wikipedia
Logic form — Logic forms are simple, first order logic knowledge representations of natural language sentences formed by the conjunction of concept predicates related through shared arguments. Each noun, verb, adjective, adverb, pronoun, preposition and… … Wikipedia