Современный толковый словарь

ИСФАХАНИ

ИСФАХАНСКАЯ ШКОЛА

ИС

ИСХОД

ИСЧЕРПЫВАНИЯ МЕТОД

ИСЧИСЛЕНИЕ

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

ИСЧИСЛЕНИЕ КЛАССОВ

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

ИТАБИРА

ИТАБИРИТ

ИТАГАКИ Т

ИТАКА

ИТАЛ

ИТАЛИЙСКИЕ ЯЗЫКИ

ИТАЛИКИ

ИТАЛИЯ

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

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