Изброеното подмножество е
Изброено множество — Да не се бърка с изброимо множество. В теорията на множествата, теорията на алгоритмите и математическата логика, изброимо множество (ефективно изброимо, рекурсивно изброимо, полуразрешимо множество [1]) е набор от конструктивни обекти ... ... Wikipedia
Теорията на алгоритмите е клон на математиката, който изучава общите свойства на алгоритмите. Смислените явления, довели до формирането на понятието „алгоритъм“, могат да бъдат проследени в математиката през цялото време на нейното съществуване. Самата тази концепция обаче се формира само ... ... Велика съветска енциклопедия
ТЕОРИЯТА НА АЛГОРИТМИТЕ е дял от математиката, който изучава общите свойства на алгоритмите. Смислените явления, довели до формирането на понятието алгоритъм, могат да бъдат проследени в математиката през цялото време на нейното съществуване. Самото това понятие обаче се формира едва през 20 век. и ... Енциклопедия по математика
Имунно множество — Имунното множество е безкраен набор от конструктивни обекти (например естествени числа), всяко изброимо подмножество от които е крайно. В конструктивната математика имунните набори понякога се използват за изграждане на примери ... ... Wikipedia
ПРОДУКТИВНО МНОЖЕСТВО - набор от естествени числа A, за които има такава частично рекурсивна функция j, така че за всяко рекурсивно изброимо множество Wx с числото на Гьодел x, съдържащо се в A. Известно е, че за всяко P. m. Съществува такава ... ... Математическа енциклопедия
Разрешимо множество - В теорията на множествата, теорията на алгоритмите и математическата логика множеството от естествени числа се нарича разрешимо или рекурсивно, ако има алгоритъм, който, след като е получил всяко естествено число като вход, прекратява след краен брой стъпки и ... ... Wikipedia
ТЕОРИЯТА НА КОНСТРУКТИВНИТЕ МОДЕЛИ е един от клоновете на математиката, възникнал на границата на моделите на теорията, алгебрата и теорията на рекурсивните функции и е свързан с изучаването на проблемите на ефективността в моделите и алгебрите. Статията на A. I. Maltsev Constructive Algebras [1] беше първото проучване ... ... Математическа енциклопедия
ФОРМАЛЕН ЕЗИК, ПРЕДСТАВЕН ОТ МАШИНА - формален език, разпознат от машина, набор от всички тези думи, при работа с които машината попада в едно от разграничените състояния. Всеки рекурсивно изброим набор от думи е формален език (f. Ya.), представителен рояк на Тюринг ... ... Математическа енциклопедия
Списък със статии по математическа логика - Това е сервизен списък със статии, създаден за координиране на работата по разработването на темата. Това предупреждение не трае ... Уикипедия