Вход | Регистрация
Тесты онлайн, бесплатный конструктор тестов. Психологические тестирования, тесты на проверку знаний.

Список вопросов базы знаний

Математическая логика и теория алгоритмов

Вопрос id:776826
Автомат, однократно считывающий входную строку слева направо, называется
?) дискретным
?) элементарным
?) МП-автоматом
?) конечным
Вопрос id:776827
В любой рекурсивно аксиоматизированной формальной системе множество доказуемых утверждений
?) нерекурсивно
?) неперечислимо
?) рекурсивно перечислимо
?) разрешимо
Вопрос id:776828
В рекурсивно аксиоматизированной формальной системе, в которой все доказуемые утверждения истинны, существует истинное утверждение s, так что: 1) s опровержимо; 2) Øs опровержимо
?) 1 и 2
?) ни 1, ни 2
?) 2
?) 1
Вопрос id:776829
В рекурсивно аксиоматизированной формальной системе, в которой все доказуемые утверждения истинны, существует истинное утверждение s, так что: 1) s недоказуемо; 2) Øs доказуемо - из перечисленного
?) 1 и 2
?) 1
?) ни 1, ни 2
?) 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(n+1)
?) m+1
?) m!
Вопрос id:776845
Если и рекурсия проводится по переменной , то функция равна
?)
?)
?) 1
?) 0
Вопрос id:776846
Если и рекурсия проводится по переменной , то функция равна
?) 1
?) m+y
?) m+x
?)
Вопрос id:776847
Если и рекурсия проводится по переменной , то функция равна
?) y
?) y+1
?) x+1
?) x
Вопрос id:776848
Если и рекурсия проводится по переменной , то функция равна
?) m+x
?) 2+m
?) m+y
?) m+1
Вопрос id:776849
Если и рекурсия проводится по переменной , то функция равна
?)
?)
?)
?)
Вопрос id:776850
Если и рекурсия проводится по переменной , то функция равна
?) t+x+y+z
?) ty
?)
?)
Вопрос id:776851
Если , то функция в рекуррентной формуле равна
?)
?)
?) 1
?)
Вопрос id:776852
Если и рекурсия проводится по , то функция равна
?) x+z
?)
?) 0
?)
Вопрос id:776853
Если и рекурсия проводится по , то функция равна
?)
?) t+y
?)
?) t+x
Вопрос id:776854
Если и рекурсия проводится по , то функция равна
?)
?)
?) zy
?)
Вопрос id:776855
Если , то функция (n,m) в рекуррентной формуле равна
?) (m+n)/2
?) m+n-1
?) 2m
?) m+n+1
Вопрос id:776856
Если A и B - рекурсивные множества, то рекурсивны также множества I. II. III.
?) только I и III
?) только II
?) I, II и III
?) только I и II
Вопрос 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 testserver.pro 2013-2024 - AppleWebKit