-
1 арифметика предикатов
Большой англо-русский и русско-английский словарь > арифметика предикатов
-
2 иерархия предикатов
Большой англо-русский и русско-английский словарь > иерархия предикатов
-
3 исчисление предикатов
Большой англо-русский и русско-английский словарь > исчисление предикатов
-
4 логика предикатов
Большой англо-русский и русско-английский словарь > логика предикатов
-
5 область предикатов
Большой англо-русский и русско-английский словарь > область предикатов
-
6 предикат предикатов
Большой англо-русский и русско-английский словарь > предикат предикатов
-
7 преобразователь предикатов
Большой англо-русский и русско-английский словарь > преобразователь предикатов
-
8 узкое исчисление предикатов
Большой англо-русский и русско-английский словарь > узкое исчисление предикатов
-
9 язык предикатов
Большой англо-русский и русско-английский словарь > язык предикатов
-
10 исчисление предикатов
functional calculus, predicate [predicative\] calculusАнгло-русский словарь технических терминов > исчисление предикатов
-
11 прикладное исчисление предикатов
Математика: ПИПУниверсальный англо-русский словарь > прикладное исчисление предикатов
-
12 узкое исчисление предикатов
Математика: УИПУниверсальный англо-русский словарь > узкое исчисление предикатов
-
13 чистое исчисление предикатов
Математика: ЧИПУниверсальный англо-русский словарь > чистое исчисление предикатов
-
14 predicate logic language
1) Вычислительная техника: язык (программирования), основанный на логике предикатов, язык программирования, основанный на логике предикатов2) Механика: язык основанный на логике предикатов3) Автоматика: язык, основанный на логике предикатов (как функций нескольких переменных)Универсальный англо-русский словарь > predicate logic language
-
15 calculus
исчисление
– Boolean calculus
– calculus of probability
– calculus of variations
– differential calculus
– extended calculus
– functional calculus
– infinitesimal calculus
– integral calculus
– logical calculus
– matrix calculus
– operational calculus
– predicate calculus
– problem calculus
– propositional calculus
– sentential calculus
– spinor calculus
– tensor calculus
– vector calculus
one-place predicate calculus — исчисление одноместных предикатов
-
16 predicate
1) предикат
2) сказуемое
3) предикатный
4) утверждать
– predicate calculus
– predicate logic
– resolvable predicate
one-place predicate calculus — исчисление одноместных предикатов
-
17 predicative calculus
-
18 sameness predicate
English-Russian big polytechnic dictionary > sameness predicate
-
19 higher predicate calculus
The English-Russian dictionary general scientific > higher predicate calculus
-
20 predicate calculus
The English-Russian dictionary general scientific > predicate calculus
См. также в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
ПРЕДИКАТОВ КЛАССИФИКАЦИИ — (иерархии предикатов) – методы приписывания предикатам (в формализованных исчислениях логики и математики) различных степеней конструктивности , базирующиеся на идеях и аппарате теории алгоритмов и теории рекурсивных функций и предикатов и… … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математич. логики, совокупность логико математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры предложений) правила оперирования с… … Философская энциклопедия
логика предикатов — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. Смотри… … Энциклопедический словарь
логика предикатов — ЛОГИКА ПРЕДИКАТОВ раздел символической логики, изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний; при этом выражения языка трактуются функционально, т.е. как знаки некоторых… … Энциклопедия эпистемологии и философии науки
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
ЛОГИКА ПРЕДИКАТОВ — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. См.… … Большой Энциклопедический словарь
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь