Типов Теория
— система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см. Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные, но и переменные по множествам ( и соответствующим им предикатам), которые при этом относятся к различным типам. В частности, вместо предметных переменных запрещена подстановка предикатов и соответствующих им множеств, а вместо переменных по предикатам — индивидов. Предложения, построение которых связано с нарушением указанных ограничений, часто рассматриваются как бессмысленные. Существуют различные варианты Т. Т. Соблюдение ограничений в Т. Т. Способствует устранению некоторых парадоксов в логике и теории множеств..
Дополнительный поиск Типов Теория
На нашем сайте Вы найдете значение "Типов Теория" в словаре Словарь логики, подробное описание, примеры использования, словосочетания с выражением Типов Теория, различные варианты толкований, скрытый смысл.
Первая буква "Т". Общая длина 12 символа