-
1 определимое множество
Mathematics: definable set, explicable setУниверсальный русско-английский словарь > определимое множество
-
2 определимое множество
definable set мат., explicable setРусско-английский научно-технический словарь Масловского > определимое множество
-
3 арифметически определимое множество
Mathematics: arithmetically definable setУниверсальный русско-английский словарь > арифметически определимое множество
-
4 неявно определимое множество
Mathematics: implicitly definable setУниверсальный русско-английский словарь > неявно определимое множество
-
5 ординально определимое множество
Mathematics: ordinal-definable setУниверсальный русско-английский словарь > ординально определимое множество
-
6 элементарно определимое множество
Mathematics: elementarily definable setУниверсальный русско-английский словарь > элементарно определимое множество
-
7 явно определимое множество
Mathematics: explicitly definable setУниверсальный русско-английский словарь > явно определимое множество
-
8 арифметически определимое множество
Русско-английский научно-технический словарь Масловского > арифметически определимое множество
-
9 неявно определимое множество
Русско-английский научно-технический словарь Масловского > неявно определимое множество
-
10 ординально определимое множество
Русско-английский научно-технический словарь Масловского > ординально определимое множество
-
11 элементарно определимое множество
Русско-английский научно-технический словарь Масловского > элементарно определимое множество
-
12 явно определимое множество
Русско-английский научно-технический словарь Масловского > явно определимое множество
См. также в других словарях:
ПАРАДОКС ЛОГИЧЕСКИЙ — положение, которое сначала еще не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится прежде всего к его правильности или неправильности. В… … Философская энциклопедия
ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы … Математическая энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
ФД (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия
ФЭД (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия
Феликс Дзержинский (паровоз) — Паровоз ФД Паровоз ФД20 1237 в Брестском железнодорожном музее Основные данные Осевая формула Годы постройки … Википедия