Математическая энциклопедия

ТИПОВ ТЕОРИЯ

- формальная теория 1-го порядка (см.Формальная система),один из вариантов к-рой - простая теория типов - описан ниже. Термин лТ. т.

  1. типов теория—система логики предикатов более высокого порядка чем первый включающая переменные различных уровней типов см. Переменная и ограничения на подстановку термов вместо переме...Словарь логики
  2. типов теория—ТИПОВ ТЕОРИЯ система логики предикатов iболее высокого порядка чем первый включающая переменные различных уровней типов см. Переменнаяi iи ограничения на подстановку тер...Словарь по логике
  3. типов теория—ТИПОВ ТЕОРИЯ система расширенного предикатов исчисления или аксиоматич. теории множеств включающая переменные различных типов сортов ступеней порядков. Различные системы ...Философская энциклопедия
  4. типов теория—система расширенного предикатов исчисления или аксиоматич. теории множеств включающая переменные различных типов сортов ступеней порядков. Различные системы Т. т. были пр...Философская Энциклопедия (в 5 томах)
  5. типов теория—способ построения формальной математической логики при кром вводится различение объектов различных уровней типов один из способов исключения из логики и теории множеств п...Философский энциклопедический словарь
  6. типов теория—см. Органическая химия....Химическая энциклопедия