Ответы к контрольной работе: Основы теории вычислимых функций
Новинка
-20%
Описание
Здесь представлена подборка ответов на тестовые вопросы по предмету "Основы теории вычислимых функций". Перед покупкой проверяйте точно ли здесь представлены те вопросы, ответы на которые вам нужны.
Список вопросов
Универсальное перечислимое множество из N × N:
Две программы A, В доказуемо различны, если:
Перечислимо всякое множество, если оно:
Главная универсальная функция:
Если U(n,x) - главная вычислимая универсальная функция для класса всех вычислимых одноместных функций, то тогда:
Программа, печатающая свой текст:
Образец - это:
Перечислимое множество с неперечислимым дополнением:
Вычислимая функция, не имеющая всюду определенного вычислимого продолжения:
Для доказательства неразрешимости множества X достаточно доказать, что:
Множество всех самоприменимых программ:
m-сводящей X к X будет функция:
Совокупность элементов X и определённых над ними операции F, удовлетворяющих аксиомам, называется:
Гомоморфизм полугрупп - это отображение:
Фрагмент - это всегда:
Любые два множества:
m-полное множество относительно m-сводимости - это множество:
Если программа на каждом входе зацикливается, то для неё:
Композиция двух вычислимых функций является:
Иммунное множество - это множество:
Не вычислима функция:
В теореме Успенского - Райса утверждается, что в главной нумерации:
Перечислимое множество m-полно тогда и только тогда, когда его дополнение:
Нумерация - вычислима, если вычислима:
Частично рекурсивная и всюду определенная функция называется:
Частично рекурсивны функции, получаемые из базисных с помощью:
Функция f(x,0)=x, f(x,y+1)=f(x,y)+1:
Ассоциативное исчисление - это:
Множеством, перечислимым относительно всюду определенной вычислимой функции f является множество:
Множество X - эффективно бесконечное, если алгоритм конструирования по любому n различных элементов из X:
Структура на множестве X - это отношение типа:
Если U - главная универсальная функция, а X - множество натуральных чисел n, где Un - нигде не определена, то Un:
Термину "k - местная" удовлетворяет функция:
Если V(m,x)=U(s(m),x), m, x - любые, то U называется:
Перечислимое множество, для которого прямой пересчет его дополнения неограничен сверху вычислимой функцией является:
Проблема остановки состоит в выяснении того, что:
Вычислимая функция со значением {0,1} и не имеющая всюду определенного вычислимого продолжения:
Утверждение: "Средствами формальной системы нельзя доказать ее непротиворечивость" - это:
Отношение эквивалентности - это отношение:
Множество всех истинных арифметических формул без параметров:
Всякая частично рекурсивная функция:
Совокупность операций алгебры A называется:
Множество всех программ, останавливающихся хотя бы на одном входе является:
Функции, вычисляемые программой с полным ветвлением и циклом "для", но без циклов "пока":
Функция f примитивна рекурсивна, если одновременно выполнено:
Примитивно рекурсивно для примитивно рекурсивных операндов:
Программу А со свойством "никакая программа В не является доказуемо различной с А":
Парадокс лжеца отражает утверждение:
График любой функции, вычислимой программой с конечным числом переменных:
Работу всякой машины Тьюринга промоделировать другой машиной Тьюринга:
Непустое множество с ассоциативной операцией типа умножения и единичным элементом называется:
Если входной алфавит машины Тьюринга состоит 0, 1 и пробела, то входным будет:
Класс эквивалентных множеств называют:
Каждая операция проектирования:
Множество X согласовано с фрагментом x, если:
Процедура замены вычислимых функции на функции, вычислимые относительно всюду определенной функции называется:
Образец - это функция из N в N, определенная:
Множества с эффективно неперечислимыми дополнениями:
m-полнота - это отношение:
Соответствие - это:
Множество А является I-соответствующей множеству В, если:
Теорема о неподвижной точке гарантирует существование:
Если U - главная вычислимая универсальная функция для класса вычислимых одноместных функций, то существует для произвольной вычислимой одноместной функции h:
Если X - класс вычислимых одноместных функции, а Y - его подмножество, то верно утверждение:
Любое перечислимое свойство:
Универсальную вычислимую функцию, для которой каждая вычислимая функция имеет ровно один номер:
Для описания свойств вычислимых функций, из перечисленных ниже наиболее подходит язык:
Различным операциям над множествами соответствуют:
Если d - вычислимая функция, E(d)={0,1} и не имеет всюду определенного вычислимого продолжения, то:
Равенство f(n)=U(n,n) определяет:
Простое множество:
Два пересекающихся перечислимых множества, не отделимые разрешимым множеством:
Вычислимая всюду определенная функция двух аргументов, универсальная для класса всех вычислимых функций одного аргумента:
Множество X из N×N - универсальное, если:
Множество всех показателей n, для которых существует целое решение уравнения xn+yn=zn всегда:
Множество перечислимо, если оно:
Если в одноместную формулу с номером n подставить значение n, то получим:
Верно утверждение для множества диафантовых уравнений:
Область определения универсальной функции будет:
Тезис Тьюринга:
Рекурсия 0 mod n=0, (x+1) mod n=(x mod n)+1 mod n определяет:
Множество X - корректно, если:
Всякая функция, вычислимая программой с конечным числом переменных:
"Оракул" для множества X отвечает на вопрос:
Верны утверждения:
Операция:h(x1,x2,…,xk,0) = f(x1,x2,…,xk,)h(x1,x2,…,xk,y+1) = g(x1,x2,…,xk,y,h(x1,x2,…,xk,y))называется:
Вычислимые универсальные функции, не являющиеся главными:
Множество натуральных чисел X перечислимо, если оно:
Множество - 0' - разрешимо, если оно:
Двухстороннее исчисление, для правил которого нет алгоритма, выясняющегося, можно ли получить одно слово из другого:
Теорема Тарского:
Если U -двухместная главная универсальная функция для класса вычислимых функций одного аргумента, то для всех p, q, x:
Функция f(xn)=f(xn-1)+x:
Лента машины Тьюринга может быть:
Конфигурация машины Тьюринга в каждый момент времени складывается из:
Свободная полугруппа - это полугруппа:
В языке Паскаль существует ряд программ Pi, i=1,2,…,n таких, что:
Теорема о неподвижной точке называется также теоремой:
Утверждение "Всякое исчисление, порождающее формулы арифметики либо не адекватно, либо неполно" - это:
Если преобразователь программ вычислимо зависит от некоторого параметра, то:
Характеристики ответов (шпаргалок) к КР
Тип
Коллекция: Ответы к контрольной работе
Семестр
Просмотров
0
Качество
Идеальное компьютерное
Количество вопросов
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_100332_12444.png&w=1632&h=400&t=1")
Гарантия сдачи без лишних хлопот! ✅🎓 Ответы на тесты по любым дисциплинам, базы вопросов, работы и услуги для Синергии, МЭИ и других вузов – всё уже готово! 🚀 🎯📚 Гарантия качества – или возврат денег! 💰✅
meimei1337
Вчера в 13:41
Комментарии
Нет комментариев
Стань первым, кто что-нибудь напишет!
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
