Смотреть больше слов в «Русско-казахском терминологическом словаре "Философия и политология"»
раздел математической логики — совокупность логико-математических исчислений (См. Исчисление), формализующих те разделы современной логики, в к... смотреть
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в которых ... смотреть
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.<br><br><br>... смотреть
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ - раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.<br>... смотреть
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ , раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.... смотреть
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.... смотреть
раздел матем. логики, логич. исчисление, в алфавит знаков к-рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их с... смотреть
раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в к-рых отображаются и изучаются (в связи с рассмотрением субъектнопредикатной структуры предложений) правила оперирования с кванторами. См. Логика предикатов.... смотреть
раздел символич. логики, в к-ром изучаются логич. операторы всеобщности и существования в связи с рассмотрением субъектно-предикатной структуры суждений; составляет гл. содержание совр. формальной логики. См. Предикатов исчисление. ... смотреть
расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре высказываний. И. п. было построено Фреге и является существенным обогащением Аристотелевой и традиционной силлогистики. ... смотреть
functional calculus, predicate [predicative] calculus
predicate calculus
predicate calculus
predicate calculus
predicate calculus
Prädikatenkalkül
functional calculus, predicate calculus
• predikátový kalkulus
predicate calculus
предикаттар қисабы