ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

predicate calculus

Смотреть больше слов в «Русско-английском морском словаре»

ИСЧИСЛЕННАЯ ДАЛЬНОСТЬ →← ИСЧИСЛЕНИЕ КОНЕЧНЫХ РАЗНОСТЕЙ

Смотреть что такое ИСЧИСЛЕНИЕ ПРЕДИКАТОВ в других словарях:

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

        раздел математической логики — совокупность логико-математических исчислений (См. Исчисление), формализующих те разделы современной логики, в к... смотреть

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ         раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в которых ... смотреть

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.<br><br><br>... смотреть

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ - раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.<br>... смотреть

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ , раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.... смотреть

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.... смотреть

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

раздел матем. логики, логич. исчисление, в алфавит знаков к-рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их с... смотреть

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в к-рых отображаются и изучаются (в связи с рассмотрением субъектнопредикатной структуры предложений) правила оперирования с кванторами. См. Логика предикатов.... смотреть

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

раздел символич. логики, в к-ром изучаются логич. операторы всеобщности и существования в связи с рассмотрением субъектно-предикатной структуры суждений; составляет гл. содержание совр. формальной логики. См. Предикатов исчисление. ... смотреть

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре высказываний. И. п. было построено Фреге и является существенным обогащением Аристотелевой и традиционной силлогистики. ... смотреть

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

functional calculus, predicate [predicative] calculus

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

functional calculus, predicate calculus

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

предикаттарды есептеу

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

предикаттар қисабы

T: 151