Электронные словари и энциклопедии: Большой энциклопедический словарь, Словарь Даля, Словарь Ожегова и т.д.

Словарь логики
"Типов Теория"

Главная - Словарь логики - буква Т - Типов Теория
Словарь логики
Искать!

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


Поделитесь с друзьями:


Вы можете поставить ссылку на это слово:

будет выглядеть так: Типов Теория


будет выглядеть так: Что такое Типов Теория

Наиболее востребованные слова:    ВОДОПОТРЕБЛЕНИЯ НОРМА / Большой энциклопедический словарь. Сельское хозяйство
   Прованс / Энциклопедический словарь
   Флудить / Словарь компьютерного жаргона
   Русский Алфавит / Энциклопедический словарь
   Политическая Карта Мира / Энциклопедический словарь
   СЕКВЕСТИРОВАНИЕ / Бухгалтерский словарь
   Аспект / Словарь Даля
   Группы Крови / Энциклопедический словарь
   АВИЗО / Бухгалтерский словарь
   Рентабельность / Бизнес словарь
   Алфавит / Энциклопедический словарь
   Гетеро... / Сексологический словарь
   Копрофилия / Толковый словарь психиатрических терминов
   Фонетический / Словарь Даля
   Географические Карты / Энциклопедический словарь
   Диверсификация / Бизнес словарь
   Личности структура по Платонову / Толковый словарь психиатрических терминов
   Реализм / Энциклопедический словарь
   Римские Цифры / Энциклопедический словарь
   Интерпретация / Словарь логики
   Логика / Словарь логики
   Синонимы / Энциклопедический словарь
   СЧЕТ-ФАКТУРА / Бухгалтерский словарь
   Части Речи / Энциклопедический словарь
   Филолог / Энциклопедический словарь
2010-2013. Толковый словарь DicDic. Словарь - Типов Теория - Словарь логики - Толковый словарь DICDIC