-
1 исчисление предикатов
neng. PrädikatenkalkülУниверсальный русско-немецкий словарь > исчисление предикатов
-
2 исчисление предикатов
Russian-german polytechnic dictionary > исчисление предикатов
-
3 исчисление
Большой русско-немецкий полетехнический словарь > исчисление
-
4 Prädikatenkalkül der ersten Stufe
исчисление предикатов первого порядкаНемецко-русский математический словарь > Prädikatenkalkül der ersten Stufe
-
5 Gleichungskalkül
(m)исчисление предикатов с равенством -
6 Prädikatenkalkül
(m)исчисление предикатов -
7 Relativkalkül
(m)(уст.) исчисление предикатов -
8 deduktiver Prädikatenkalkül
дедуктивное исчисление предикатовНемецко-русский математический словарь > deduktiver Prädikatenkalkül
-
9 engerer Prädikatenkalkül
узкое исчисление предикатовНемецко-русский математический словарь > engerer Prädikatenkalkül
-
10 erweiterter Prädikatenkalkül
расширенное исчисление предикатовНемецко-русский математический словарь > erweiterter Prädikatenkalkül
-
11 intuitionistischer Prädikatenkalkül
интуиционистское исчисление предикатовНемецко-русский математический словарь > intuitionistischer Prädikatenkalkül
-
12 klassischer Prädikatenkalkül
классическое исчисление предикатовНемецко-русский математический словарь > klassischer Prädikatenkalkül
-
13 konstruktiver Prädikatenkalkül
конструктивное исчисление предикатовНемецко-русский математический словарь > konstruktiver Prädikatenkalkül
-
14 mehrwertiger Prädikatenkalkül
многозначное исчисление предикатовНемецко-русский математический словарь > mehrwertiger Prädikatenkalkül
См. также в других словарях:
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математич. логики, совокупность логико математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры предложений) правила оперирования с… … Философская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь
исчисление предикатов — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN predicate calculus … Справочник технического переводчика
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисление предикатов — раздел математической логики совокупность логико математических исчислений (См. Исчисление), формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры… … Большая советская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел матем. логики, логич. исчисление, в алфавит знаков к рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие количественно… … Естествознание. Энциклопедический словарь
УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Предикатов исчисление … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики