-
1 элиминация кванторов
Большой англо-русский и русско-английский словарь > элиминация кванторов
-
2 элиминация кванторов
Mathematics: elimination of quantifiersУниверсальный русско-английский словарь > элиминация кванторов
-
3 элиминация кванторов
Русско-английский научно-технический словарь Масловского > элиминация кванторов
-
4 elimination of quantifiers
Математика: элиминация кванторовУниверсальный англо-русский словарь > elimination of quantifiers
-
5 elimination of quantifiers
мат.English-Russian scientific dictionary > elimination of quantifiers
См. также в других словарях:
Элиминация кванторов — В математической логике элиминация кванторов это процесс, порождающий по заданной логической формуле, другую, эквивалентную ей формулу, свободную от вхождений кванторов. Элиминация кванторов далеко не всегда возможна, но когда это так, алгоритм… … Википедия
Mathematica — Тип Сист … Википедия
Система компьютерной алгебры — Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Добавить иллюстрации. Викифицировать список литературы, используя … Википедия
Алгоритм Тарского — Алгоритм Тарского универсальный алгоритм, позволяющий установить истинность или ложность любой замкнутой арифметической формулы первого порядка с переменными для вещественных чисел. Алгоритм Тарского позволяет проверить истинность или… … Википедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия