-
61 собственное исчисление предикатов
Mathematics: proper predicate calculusУниверсальный русско-английский словарь > собственное исчисление предикатов
-
62 теоретико-множественная логика предикатов
Mathematics: set predicate logic, set-theoretic predicate logicУниверсальный русско-английский словарь > теоретико-множественная логика предикатов
-
63 узкое исчисление предикатов
Mathematics: RPC (restricted predicate calculus), restricted predicate calculusУниверсальный русско-английский словарь > узкое исчисление предикатов
-
64 цели, часто выраженные в терминах исчисления предикатов
Programming: goals, often expressed in a predicate calculusУниверсальный русско-английский словарь > цели, часто выраженные в терминах исчисления предикатов
-
65 чистое исчисление предикатов
Mathematics: PPC (pure predicate calculus), pure predicate calculusУниверсальный русско-английский словарь > чистое исчисление предикатов
-
66 язык (программирования), основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык (программирования), основанный на логике предикатов
-
67 язык исчисления предикатов
Automation: predicate calculus languageУниверсальный русско-английский словарь > язык исчисления предикатов
-
68 язык основанный на логике предикатов
Mechanics: predicate logic languageУниверсальный русско-английский словарь > язык основанный на логике предикатов
-
69 язык предикатов
Information technology: predicate language -
70 язык программирования , основанный на логике предикатов
Information technology: predicate logic language, predicate logic-based languageУниверсальный русско-английский словарь > язык программирования , основанный на логике предикатов
-
71 язык, основанный на логике предикатов
1) Automation: predicate logic language (как функций нескольких переменных)Универсальный русско-английский словарь > язык, основанный на логике предикатов
-
72 логика предикатов
Русско-английский политехнический словарь > логика предикатов
-
73 исчисление предикатов
Русско-английский словарь по машиностроению > исчисление предикатов
-
74 язык , основанный на логике предикатов
Information technology: (программирования) predicate logic language, (программирования) predicate logic-based languageУниверсальный русско-английский словарь > язык , основанный на логике предикатов
-
75 дизъюнктивная форма логики предикатов
adjelectr. KlausellogikУниверсальный русско-немецкий словарь > дизъюнктивная форма логики предикатов
-
76 исчисление предикатов
neng. PrädikatenkalkülУниверсальный русско-немецкий словарь > исчисление предикатов
-
77 логика предикатов
neng. Prädikatenkalkül, Prädikatenlogik -
78 исчисление предикатов
Russian-english psychology dictionary > исчисление предикатов
-
79 строгое исчисление предикатов
Russian-english psychology dictionary > строгое исчисление предикатов
-
80 исчисление предикатов
Русско-английский биологический словарь > исчисление предикатов
См. также в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
ПРЕДИКАТОВ КЛАССИФИКАЦИИ — (иерархии предикатов) – методы приписывания предикатам (в формализованных исчислениях логики и математики) различных степеней конструктивности , базирующиеся на идеях и аппарате теории алгоритмов и теории рекурсивных функций и предикатов и… … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математич. логики, совокупность логико математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры предложений) правила оперирования с… … Философская энциклопедия
логика предикатов — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. Смотри… … Энциклопедический словарь
логика предикатов — ЛОГИКА ПРЕДИКАТОВ раздел символической логики, изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний; при этом выражения языка трактуются функционально, т.е. как знаки некоторых… … Энциклопедия эпистемологии и философии науки
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
ЛОГИКА ПРЕДИКАТОВ — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. См.… … Большой Энциклопедический словарь
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь