Перелічуване підмножина - це
Перелічна множина — Не слід плутати з лічильною множиною. У теорії множин, теорії алгоритмів і математичної логіки, безліч (ефективно перерахована, рекурсивно перерахована, напіврозв'язна безліч [1]) безліч конструктивних об'єктів ... ... Вікіпедія
Алгоритмів теорія - розділ математики, що вивчає загальні властивості Алгоритмів. Змістовні явища, які призвели до освіти поняття «алгоритм», простежуються в математиці протягом усього її існування. Однак саме це поняття сформувалося лише… … Велика радянська енциклопедія
АЛГОРИТМІВ ТЕОРІЯ - розділ математики, що вивчає загальні властивості алгоритмів. Змістовні явища, що призвели до утворення поняття «алгоритм», простежуються в математиці протягом усього часу її існування. Однак саме це поняття сформувалося лише у 20 ст. та … Математична енциклопедія
Імунна множина — Імунна множина нескінченна множина конструктивних об'єктів (наприклад, натуральних чисел), будь-яке перелічуване підмножина якого звичайно. У конструктивній математиці імунні множини іноді використовуються для побудови прикладів ... Вікіпедія
ПРОДУКТИВНА МНОЖИНА — безліч натуральних чисел А , для якого існує така частково рекурсивна функція j, що для будь-якої рекурсивно переліченої множини Wx з геделевим номером х, що міститься в А. Відомо, що для кожного П. м. існує така… … Математична енциклопедія
Роздільна множина — У теорії множин, теорії алгоритмів та математичної логіки, безліч натуральних чисел називається розв'язною або рекурсивною, якщо існує алгоритм, який, отримавши на вхід будь-яке натуральне число, через кінцеве число кроків завершується і ... Вікіпедія
КОНСТРУКТИВНИХ МОДЕЛІВ ТЕОРІЯ — один із розділів математики, що виник на межі моделей теорії, алгебри та теорії рекурсивних функцій та пов'язаний з вивченням питань ефективності в моделях та алгебрах. Стаття А. І. Мальцева Конструктивні алгебри [1] стала першою оглядовою ... Математична енциклопедія
ФОРМАЛЬНА МОВА, ПРЕДСТАВНА МАШИНОЮ — формальна мова, що розпізнається машиною, безліч усіх тих слів, при роботі над ними машина потрапляє в один з виділених станів. Будь-яке рекурсивно перелічене безліч слів є формальний мову (ф. я.), представимий нек рій Тьюринга… … Математична енциклопедія
Список статей з математичної логіки - Це службовий список статей, створений для координації робіт з розвитку теми. Дане попередження не ... Вікіпедія