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

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

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

Вопрос id:777333
Фигурирующие в кванторах всеобщности и существования переменные называются ___ переменными
?) связанными
?) лингвистическими
?) свободными
?) несвязанными
Вопрос id:777334
Формула в теории, для которой существует механизм вывода в рамках этой теории, называется
?) неразрешимой
?) разрешимой
?) выводимой
?) не выводимой
Вопрос id:777335
Функция e31(x, y, z) + e32(x, y, z) равна
?) y + z
?) z + x
?) x + y
?) x+y+z
Вопрос id:777336
Функция e41имеет геделевский номер, равный (ответ укажите цифрами)
Вопрос id:777337
Функция называется частично рекурсивной, если она либо принадлежит к числу исходных п.р.ф., либо может быть получена из них с помощью операторов
?) минимизации
?) подстановки
?) рекурсии
?) обращения
Вопрос id:777339
Функция является примитивно рекурсивной, если она получается из набора исходных п.р.ф. с помощью операторов
?) рекурсии
?) ограниченной минимизации
?) подстановки
Вопрос id:777340
Функция, полученная из вычислимой функции с помощью оператора рекурсии, является
?) примитивно рекурсивной
?) интегрируемой
?) вычислимой
?) дифференцируемой
Вопрос id:777342
Частично вычислимая функция может быть продолжена до
?) интегрируемой
?) непрерывной
?) вычислимой
?) невычислимой
Вопрос id:777343
Число компонент машины Тьюринга равно ___ (ответ укажите цифрой)
Вопрос id:777344
Язык логики предикатов является расширением языка логики
?) математической
?) формальной
?) нечеткой
?) высказываний
Вопрос id:777345
Язык, на котором описывается другой язык, называется
?) автоматным языком
?) метаязыком
?) формальной системой
?) формулой языка
Вопрос id:777346
Язык, предложения (формулы) которого выражают суждения и отношения исследуемой математической теории, называется
?) программирования
?) формальным
?) искусственным
?) логико-математическим
Copyright testserver.pro 2013-2024