-
1 исчисление предикатов
1. functional calculus2. predicate calculus3. predicative calculusРусско-английский большой базовый словарь > исчисление предикатов
-
2 исчисление предикатов
-
3 исчисление предикатов
Русско-английский военно-политический словарь > исчисление предикатов
-
4 исчисление предикатов
Русско-английский словарь по информационным технологиям > исчисление предикатов
-
5 исчисление предикатов
исчисление предикатов
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > исчисление предикатов
-
6 исчисление предикатов
Русско-английский новый политехнический словарь > исчисление предикатов
-
7 исчисление предикатов
Русско-английский технический словарь > исчисление предикатов
-
8 исчисление предикатов
1) Engineering: functional calculus, predicative calculus2) Mathematics: PC (predicate calculus), predicate calculusУниверсальный русско-английский словарь > исчисление предикатов
-
9 исчисление предикатов :
Information technology: predicate calculusУниверсальный русско-английский словарь > исчисление предикатов :
-
10 исчисление предикатов
Русско-английский словарь по машиностроению > исчисление предикатов
-
11 исчисление предикатов
Russian-english psychology dictionary > исчисление предикатов
-
12 исчисление предикатов
Русско-английский биологический словарь > исчисление предикатов
-
13 исчисление предикатов
functional calculus, predicate calculusРусско-английский словарь по электронике > исчисление предикатов
-
14 исчисление предикатов
functional calculus, predicate calculusРусско-английский словарь по радиоэлектронике > исчисление предикатов
-
15 исчисление предикатов
functional calculus лог., predicate calculus, predicative calculusРусско-английский словарь по вычислительной технике и программированию > исчисление предикатов
-
16 исчисление предикатов
-
17 исчисление предикатов
Русско-английский математический словарь > исчисление предикатов
-
18 исчисление предикатов
predicative calculus мат.Русско-английский научно-технический словарь Масловского > исчисление предикатов
-
19 исчисление предикатов
functional calculus, predicate [predicative] calculusРусско-английский политехнический словарь > исчисление предикатов
-
20 исчисление предикатов
Русско-английский синонимический словарь > исчисление предикатов
См. также в других словарях:
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математич. логики, совокупность логико математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры предложений) правила оперирования с… … Философская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь
исчисление предикатов — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN predicate calculus … Справочник технического переводчика
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисление предикатов — раздел математической логики совокупность логико математических исчислений (См. Исчисление), формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры… … Большая советская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел матем. логики, логич. исчисление, в алфавит знаков к рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие количественно… … Естествознание. Энциклопедический словарь
УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Предикатов исчисление … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики