-
81 булево исчисление
Русско-английский большой базовый словарь > булево исчисление
-
82 вариационное исчисление
Русско-английский большой базовый словарь > вариационное исчисление
-
83 расширенное исчисление
Русско-английский большой базовый словарь > расширенное исчисление
-
84 ситуационное исчисление
Русско-английский большой базовый словарь > ситуационное исчисление
-
85 дифференциальное исчисление
Русско-английский научный словарь > дифференциальное исчисление
-
86 интегральное исчисление
-
87 операционное исчисление
-
88 операционное исчисление
Русско-английский новый политехнический словарь > операционное исчисление
-
89 вариационное исчисление
Русско-английский словарь по информационным технологиям > вариационное исчисление
-
90 реляционное исчисление
Русско-английский словарь по информационным технологиям > реляционное исчисление
-
91 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
92 логика предикатов
-
93 логика предикатов
Русско-английский новый политехнический словарь > логика предикатов
-
94 predicate calculus
Англо-русский словарь промышленной и научной лексики > predicate calculus
-
95 first-order predicate calculus
Англо-русский словарь промышленной и научной лексики > first-order predicate calculus
-
96 применяемость предиката
Русско-английский большой базовый словарь > применяемость предиката
-
97 предикат
-
98 ПИП
abbrev (прикладное исчисление предикатов), applied predicate calculus -
99 предикат
m. predicate; исчисление предикатов, predicate calculusРусско-английский словарь математических терминов > предикат
-
100 УИП
abbrev (узкое исчисление предикатов), restricted predicate calculus
См. также в других словарях:
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математич. логики, совокупность логико математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры предложений) правила оперирования с… … Философская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь
исчисление предикатов — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN predicate calculus … Справочник технического переводчика
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисление предикатов — раздел математической логики совокупность логико математических исчислений (См. Исчисление), формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры… … Большая советская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел матем. логики, логич. исчисление, в алфавит знаков к рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие количественно… … Естествознание. Энциклопедический словарь
УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Предикатов исчисление … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики