-
41 predicate logic
-
42 predicate logic
English-Russian dictionary of Information technology > predicate logic
-
43 predicate logic
-
44 Prädikatenlogik der ersten Stufe
логика предикатов первого порядкаНемецко-русский математический словарь > Prädikatenlogik der ersten Stufe
-
45 Prädikatenlogik höherer Stufe
логика предикатов высшего порядкаНемецко-русский математический словарь > Prädikatenlogik höherer Stufe
-
46 set predicate logic
The English-Russian dictionary general scientific > set predicate logic
-
47 first-order logic
Математика: логика первого порядка, логика предикатов первого порядка (= first-order predicate logic), первопорядковая логика -
48 Prädikatenkalkül
сущ.тех. исчисление предикатов, логика предикатов -
49 predicate
1. n грам. лог. предикат, сказуемое2. n лог. утверждение3. a предикативныйpredicate noun — предикативное существительное, существительное в роли именной части составного сказуемого
4. v утверждать; заявлять; делать заявлениеmy plan is predicated on the assumption that … — в своём плане я исхожу из того, что …
5. v грам. лог. предицировать6. v наводить на мысль7. v редк. проповедовать8. v разг. предсказыватьСинонимический ряд:1. assert (verb) affirm; assert; aver; avouch; avow; constate; declare; depose; maintain; mean; proclaim; profess; protest; set forth; state2. establish (verb) base; bottom; build; establish; fasten; found; ground; rest; root in; seat; stay -
50 предикат
Синонимический ряд:сказуемого (сущ.) сказуемого -
51 предикат
Русско-английский словарь по информационным технологиям > предикат
-
52 Prädikatenlogik
fлогика предикатов, предикатная логикаDeutsch-Russische Wörterbuch polytechnischen > Prädikatenlogik
-
53 Prädikatenlogik
-
54 quantificational logic
Большой англо-русский и русско-английский словарь > quantificational logic
-
55 set-theoretic
теоретико-множественный set-theoretic predicate logic ≈ теоретико-множественная логика предикатов - set-theoretic geometry - set-theoretic interpretation - set-theoretic intersection - set-theoretic jog - set-theoretic operation - set-theoretic projection - set-theoretic statement - set-theoretic topology - set-theoretic unionБольшой англо-русский и русско-английский словарь > set-theoretic
-
56 first-order predicate logic
Математика: логика предикатов первого порядкаУниверсальный англо-русский словарь > first-order predicate logic
-
57 predicate logic
Вычислительная техника: логика предикатов -
58 quantificational logic
Математика: логика предикатовУниверсальный англо-русский словарь > quantificational logic
-
59 set predicate logic
Математика: теоретико-множественная логика предикатов -
60 set-theoretic predicate logic
Математика: теоретико-множественная логика предикатовУниверсальный англо-русский словарь > set-theoretic predicate logic
См. также в других словарях:
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
логика предикатов — ЛОГИКА ПРЕДИКАТОВ раздел символической логики, изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний; при этом выражения языка трактуются функционально, т.е. как знаки некоторых… … Энциклопедия эпистемологии и философии науки
ЛОГИКА ПРЕДИКАТОВ — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. См.… … Большой Энциклопедический словарь
логика предикатов — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. Смотри… … Энциклопедический словарь
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. Логика высказываний ), то Л. п. можно рассматривать … Современный философский словарь
логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
ЛОГИКА ПРЕДИКАТОВ — раздел логич. теорий, в к ром изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе Л. п. лежит формализованный язык, отображающий субъективно предикатную структуру высказываний. См. также Исчисление… … Естествознание. Энциклопедический словарь
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия