- конструктивное подмножество
- мат. constructive subset
Большой англо-русский и русско-английский словарь. 2001.
конструктивное подмножество
Смотреть что такое "конструктивное подмножество" в других словарях:
КОНСТРУКТИВНОЕ ПОДМНОЖЕСТВО — алгебраического многообразия конечное объединение локально замкнутых (в Зариского топологии )подмножеств. Локально замкнутым подмножеством наз. пересечение открытого и замкнутого подмножеств. К. п. образуют булеву алгебру и могут быть определены… … Математическая энциклопедия
Словарь терминов теории графов — Здесь собраны определения терминов из теории графов. Курсивом выделены ссылки на термины в этом словаре (на этой странице). # А Б В Г Д Е Ё Ж З И К Л М Н О П Р С … Википедия
Глоссарий теории графов — Эта страница глоссарий. См. также основную статью: Теория графов Здесь собраны определения терминов из теории графов. Курсивом выделены ссылки на термины в этом словаре (на этой странице) … Википедия
ИНТЕРПОЛИРОВАНИЕ — интерполяция, в простейшем, классическом смысле конструктивное восстановление (быть может, приближенное) функции определенного класса по известным ее значениям или значениям ее производных в данных точках. Пусть даны n+l точек сегмента D=[ а, b] … Математическая энциклопедия
Упорядоченное поле — алгебраическое поле, для всех элементов которого определён линейный порядок, согласованный с операциями поля. Наиболее практически важными примерами являются поля рациональных и вещественных чисел. Термин впервые предложил Эмиль Артин в 1927 г.… … Википедия
Алгоритмов теория — раздел математики, изучающий общие свойства Алгоритмов. Содержательные явления, приведшие к образованию понятия «алгоритм», прослеживаются в математике в течение всего времени её существования. Однако само это понятие сформировалось лишь… … Большая советская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы … Математическая энциклопедия
ФУНКЦИЯ — (лат. functio – исполнение) обязанность, круг деятельности. «Функция – это существование, мыслимое нами в действии» (Гёте). Наука о функциях органов живых существ – физиология; специальная наука о функциях нервной системы – физиология органов… … Философская энциклопедия
ПОРЯДКА ОТНОШЕНИЕ — бинарное (двуместное, двучленное) отношение, обладающее свойствами иррефлек сивности (см. Рефлексивность) и транзитивности (из чего следует также его антисимметричность, см. Симметричность). П. о. упорядочивает элементы множества, на к ром оно… … Философская энциклопедия
