Тесты онлайн, бесплатный конструктор тестов. Психологические тестирования, тесты на проверку знаний.
Список вопросов базы знанийМатематическая логика и теория алгоритмовВопрос id:776826 Автомат, однократно считывающий входную строку слева направо, называется ?) элементарным ?) дискретным ?) МП-автоматом ?) конечным Вопрос id:776827 В любой рекурсивно аксиоматизированной формальной системе множество доказуемых утверждений ?) рекурсивно перечислимо ?) нерекурсивно ?) разрешимо ?) неперечислимо Вопрос id:776828 В рекурсивно аксиоматизированной формальной системе, в которой все доказуемые утверждения истинны, существует истинное утверждение s, так что: 1) s опровержимо; 2) Øs опровержимо ?) ни 1, ни 2 ?) 1 ?) 2 ?) 1 и 2 Вопрос id:776829 В рекурсивно аксиоматизированной формальной системе, в которой все доказуемые утверждения истинны, существует истинное утверждение s, так что: 1) s недоказуемо; 2) Øs доказуемо - из перечисленного ?) 2 ?) 1 ?) 1 и 2 ?) ни 1, ни 2 Вопрос id:776830 В системе Пеано единственным неопределимым отношением является ?)  ?)  ?)  ?)  Вопрос id:776831 Внутреннее состояние машины Тьюринга обозначается ?)  ?)  ?) П, Л, H ?)  Вопрос id:776832 Внутренним алфавитом машины Тьюринга называется ?) символы, записанные на ленте ?) множеством состояний машины ?) множество команд машины ?) множество конфигураций машины Вопрос id:776833 Временные или пространственные характеристики процесса вычисления называются ?) интерпретацией системы ?) классом сложности ?) вычислительными ресурсами ?) представлением системы Вопрос id:776834 Всякая вычислимая функция является вычислимой по Тьюрингу согласно ?) тезису Чёрча ?) лемме Тьюринга ?) теореме Гёделя ?) теореме Поста Вопрос id:776835 Всякое непустое ___ множество является ___ некоторой всюду определенной вычислимой функции ?) креативное, областью определения ?) рекурсивно перечислимое, множеством значений ?) рекурсивное, областью определения ?) продуктивное, множеством значений Вопрос id:776836 Входной алфавит определяется как ?)  ?)  ?)  ?)  Вопрос id:776837 Входят в алфавит формального логического языка символы ?)  ?)  ?)  ?)  Вопрос id:776838 Выражение  является?) исходной ситуацией ?) элементом алфавита ?) машиной Тьюринга ?) командой Вопрос id:776839 Выражением называется ?) конечная последовательность символов ?) набор команд ?) внутреннее состояние ?) исходная ситуация Вопрос id:776840 Геделевский номер, равный 23, имеет функция ?) S(S(x)) ?)  ?)  ?)  Вопрос id:776841 Геделевский номер, равный  , имеет функция?)  ?)  ?)  ?)  Вопрос id:776842 Дополнение к области определения некоторой вычислимой функции ___ рекурсивно перечислимым ?) разъединено с ?) может не быть ?) должно быть ?) не может быть Вопрос id:776843 Если  , то функция  в рекуррентной формуле равна?) m+1 ?)  ?)  ?) sin(πn) Вопрос id:776844 Если  , то функция  в рекуррентной формуле равна?) m+n+1 ?) m! ?) m+1 ?) m(n+1) Вопрос id:776845 Если  и рекурсия проводится по переменной  , то функция  равна?)  ?) 0 ?) 1 ?)  Вопрос id:776846 Если  и рекурсия проводится по переменной  , то функция  равна?)  ?) 1 ?) m+y ?) m+x Вопрос id:776847 Если  и рекурсия проводится по переменной  , то функция  равна?) x+1 ?) y ?) y+1 ?) x Вопрос id:776848 Если  и рекурсия проводится по переменной  , то функция  равна?) m+y ?) 2+m ?) m+1 ?) m+x Вопрос id:776849 Если  и рекурсия проводится по переменной  , то функция  равна?)  ?)  ?)  ?)  Вопрос id:776850 Если  и рекурсия проводится по переменной  , то функция  равна?) t+x+y+z ?)  ?)  ?) ty Вопрос id:776851 Если  , то функция  в рекуррентной формуле равна?) 1 ?)  ?)  ?)  Вопрос id:776852 Если  и рекурсия проводится по  , то функция  равна?)  ?) 0 ?) x+z ?)  Вопрос id:776853 Если  и рекурсия проводится по  , то функция  равна?)  ?)  ?) t+y ?) t+x Вопрос id:776854 Если  и рекурсия проводится по  , то функция  равна?) zy ?)  ?)  ?)  Вопрос id:776855 Если  , то функция  (n,m) в рекуррентной формуле равна?) m+n+1 ?) 2m ?) m+n-1 ?) (m+n)/2 Вопрос id:776856 Если A и B - рекурсивные множества, то рекурсивны также множества I.  II. III. ?) только II ?) только I и II ?) I, II и III ?) только I и III Вопрос id:776857 Если A рекурсивно, а B - рекурсивно перечислимо, то ___ рекурсивно ?)  ?)  ?)  ?)  Вопрос id:776858 Если множество не является множеством значений никакой функции, то оно ?) нерекурсивно и неперечислимо ?) нерекурсивно, но рекурсивно перечислимо ?) рекурсивно, и не перечислимо ?) рекурсивно, но не перечислимо Вопрос id:776859 Если множество неперечислимо, то оно ___ областью определения и ___ множеством значений всюду определенной вычислимой функции ?) может быть, не может быть ?) не может быть, может быть ?) может быть, может быть ?) не может быть, не может быть Вопрос id:776860 Если множество нерекурсивно, то оно ___ областью определения и ___ множеством значений всюду определенной вычислимой функции ?) может быть, может быть ?) может быть, не может быть ?) не может быть, может быть ?) не может быть, не может быть Вопрос id:776861 Если множество рекурсивно, то оно является ___ всюду определенной вычислимой функции ?) ни множеством значений, ни областью определения ?) только множеством значений ?) только областью определения ?) множеством значений и областью определения Вопрос id:776862 Идея использования рекурсии для решения задач, связанных с основаниями математики, предложена ?) Тьюрингом ?) Гильбертом ?) Аль Хорезми ?) Пеано Вопрос id:776863 Имена и предложения называются фразами ?) замкнутыми ?) простейшими ?) порождающими ?) челночными Вопрос id:776864 Каждая п.р.ф имеет число номеров ?) бесконечное ?) ограниченное ?) индивидуальное ?) небольшое Вопрос id:776865 Класс примитивно рекурсивных функций ?) расширяет класс вычислимых функций ?) содержит в себе класс вычислимых функций ?) входит в класс вычислимых функций ?) совпадает с классом вычислимых функций Вопрос id:776866 Команда машины Тьюринга состоит из элементарных действий ?) любого числа ?) конечного числа ?) двух ?) трех Вопрос id:776867 Композиция  и  равна?) 1 ?)  ?)  ?)  Вопрос id:776868 Конечное множество команд, имеющих попарно различные начальные пары символов, называется ?) программой ?) машиной Тьюринга ?) алгоритмом ?) конфигурацией Вопрос id:776869 Конечному автомату соответствует грамматика, порождающая ?) машину Тьюринга ?) регулярный язык ?) язык программирования ?) словарь машины Вопрос id:776870 Лента машины Тьюринга ?) может быть многомерной ?) не содержит результаты вычислений ?) должна быть только одномерной ?) считывается в обе стороны Вопрос id:776871 Любая непротиворечивая система арифметики с рекурсивной системой аксиом ?) должна быть полной ?) совпадает с системой Пеано ?) не может быть полной ?) является замкнутой Вопрос id:776872 Любая неразрешимая алгоритмическая проблема дает пример множества ?) неперечислимого ?) неразрешимого ?) невычислимого ?) несчетного Вопрос id:776873 Марковский алгоритм - это алгоритм ?) недетерминированный ?) нелинейный ?) стохастический ?) нормальный Вопрос id:776874 Машина Тьюринга есть совокупность компонент ?) четырех ?) трех ?) пяти ?) двух Вопрос id:776875 Множество ___ тогда и только тогда, когда оно является ___ некоторой вычислимой функции ?) разрешимо, областью определения ?) перечислимо, областью определения ?) перечислимо, множеством значений ?) разрешимо, множеством значений |
Copyright tests.ithead.ru 2013-2026