разрешимое

См. также в других словарях:

• РАЗРЕШИМОЕ И ПЕРЕЧИСЛИМОЕ МНОЖЕСТВА — осн. понятия теории алгоритмов и теории рекурсивных функций (и предикатов). (Определение этих понятий на основе понятия алгоритма см. в ст. Алгоритм, раздел Основные понятия теории А.) Простейшим примером разрешимого множества может служить… …   Философская энциклопедия

• Разрешимое множество — В теории множеств, теории алгоритмов и математической логике, множество натуральных чисел называется разрешимым или рекурсивным, если существует алгоритм, который, получив на вход любое натуральное число, через конечное число шагов завершается и… …   Википедия

• Разрешимое множество —         в логике, множество, расположенное в некоторой совокупности конструктивных объектов (См. Конструктивные объекты) (т. е. множество, составленное из каких то объектов этой совокупности), для которого существует Алгоритм, разрешающий это… …   Большая советская энциклопедия

• РАЗРЕШИМОЕ МНОГООБРАЗИЕ — с о л в м н о г о о б р а з и е, компактное факторпространство связной разрешимой группы Ли (иногда, впрочем, компактности не требуют). Частный случай нильмногообразие. По сравнению с последним общий случай значительно сложнее, но для него тоже… …   Математическая энциклопедия

• РАЗРЕШИМОЕ МНОЖЕСТВО — множество конструктивных объектов какого либо фиксированного типа, допускающее проверку принадлежности к нему его элементов при помощи алгоритма. Фактически мы можем ограничиться понятием Р. м. натуральных чисел, т. к. более общий случай может… …   Математическая энциклопедия

• СОЛВМНОГООБРАЗИЕ — разрешимое многообразие, однородное пространство Мсвязной разрешимой группы Ли G; его можно отождествить с пространством смежных классов G/H, где Н стационарная подгруппа нек рой точки многообразия М. IIримеры: тор Т n, многообразие Ивасавы N/l… …   Математическая энциклопедия

• АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

• Перечислимое множество — Не следует путать с счётным множеством. В теории множеств, теории алгоритмов и математической логике, перечислимое множество (эффективно перечислимое, рекурсивно перечислимое, полуразрешимое множество[1])  множество конструктивных объектов… …   Википедия

• Я, робот — У этого термина существуют и другие значения, см. Я, робот (значения). Я, Робот I, Robot обложка издания 2002 года Автор …   Википедия

• Хоровод (рассказ) — У этого термина существуют и другие значения, см. Хоровод (значения). Хоровод Runaround Жанр: научная фантастика Автор: Айзек Азимов Язык оригинала …   Википедия

• ГОРДИЕВ УЗЕЛ — Узел, завязанный фригийцем Гордием на колеснице в храме, который был посвящен Юпитеру; узел был спутан так искусно, что оракул предсказал тому, кто его распутает, владычество над всей Азией: Александр Великий рассек узел мечом. Поэтому гордиевым… …   Словарь иностранных слов русского языка