- определимое множество
- мат. definable set, explicable set
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ПАРАДОКС ЛОГИЧЕСКИЙ — положение, которое сначала еще не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится прежде всего к его правильности или неправильности. В… … Философская энциклопедия
ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы … Математическая энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
ФД (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия
ФЭД (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия
Феликс Дзержинский (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия