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

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

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

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