Перечислимое

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

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

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

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

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

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

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

• рекурсивно перечислимое множество — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN recursively enumerable set …   Справочник технического переводчика

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

• Алгоритмов теория —         раздел математики, изучающий общие свойства Алгоритмов. Содержательные явления, приведшие к образованию понятия «алгоритм», прослеживаются в математике в течение всего времени её существования. Однако само это понятие сформировалось лишь… …   Большая советская энциклопедия

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

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