Тесты онлайн, бесплатный конструктор тестов. Психологические тестирования, тесты на проверку знаний.
|
Список вопросов базы знанийМатематическая логика и теория алгоритмовВопрос id:776876 Множество аксиом вместе с явным определением доказательства составляют ?) теорию алгоритмов ?) машину Тьюринга ?) рекурсивное множество ?) формальную систему Вопрос id:776877 Множество всевозможных осмысленных утверждений языка является ?) креативным ?) рекурсивным ?) рекурсивно перечислимым ?) неперечислимым Вопрос id:776878 Множество всех истинных утверждений языка L является ?) неразрешимым, но перечислимым ?) разрешимым, но неперечислимым ?) неразрешимым и неперечислимым ?) разрешимым и перечислимым Вопрос id:776879 Множество доказуемых утверждений формальной системы арифметики ?) замкнуто ?) открыто ?) неразрешимо ?) разрешимо Вопрос id:776880 Множество истинных утверждений ?) не выводится из системы аксиом ?) носит название системы аксиом ?) выводится из системы аксиом ?) перечисляет все системы аксиом Вопрос id:776881 Множество натуральных чисел является ?) только рекурсивным ?) простейшим ?) рекурсивным и перечислимым ?) только перечислимым Вопрос id:776882 Множество номеров несамоприменимых машин Тьюринга ?) рекурсивно перечислимо ?) рекурсивно ?) неразрешимо ?) неперечислимо Вопрос id:776883 Множество номеров самоприменимых машин Тьюринга ?) рекурсивно перечислимо и разрешимо ?) рекурсивно перечислимо, но не разрешимо ?) неперечислимо, но разрешимо ?) ни перечислимо, ни разрешимо Вопрос id:776884 Множество простых чисел является ?) только перечислимым ?) замкнутым ?) рекурсивным и перечислимым ?) только рекурсивным Вопрос id:776885 Множество составных чисел является ?) только рекурсивным ?) рекурсивным и перечислимым ?) только перечислимым ?) порождающим Вопрос id:776886 Множество, если его характеристический предикат является вычислимым, называется ?) рекурсивно перечислимым ?) рекурсивным ?) эффективным ?) вычислимым Вопрос id:776887 Множество, если оно является множеством значений некоторой вычислимой функции, называется ?) разрешимым ?) рекурсивно перечислимым ?) эффективным ?) вычислимым Вопрос id:776888 Не сохраняет примитивную рекурсивность оператор ?) подстановки ?) рекурсии ?) минимизации ?) сдвига Вопрос id:776889 Не существует формальной системы арифметики, удовлетворяющей условиям полноты и противоречивости согласно ?) тезису Черча ?) теореме Геделя ?) теории Гильберта ?) теореме Поста Вопрос id:776890 Осмысленные конечные последовательности символов из алфавита L называются ?) словарем ?) утверждениями ?) командами ?) программой Вопрос id:776891 Показал возможность существования универсальной вычислительной машины, способной выполнить любую эффективную процедуру ?) К. Гёдель ?) А. Тьюринг ?) Д. Гильберт ?) А. Марков Вопрос id:776892 Полнота - это условие, что для любого утверждения s одно из утверждений s и Øs ?) опровержимо ?) доказуемо ?) истинно ?) ложно Вопрос id:776893 Пусть R - рекурсивность, а P - рекурсивная перечислимость. Тогда ?) ?) ?) ?) Вопрос id:776894 Символы, которые машина Тьюринга читает и пишет на ленте, образуют ?) выражения ?) алфавит ?) команды ?) конфигурацию Вопрос id:776895 Система Пеано содержит аксиом ?) 4 ?) 5 ?) 2 ?) 3 Вопрос id:776896 Способ видения объектов формальных систем как конкретных объектов при условии, что содержательные объекты сохраняют структуру формальных, называется ?) трансформацией системы ?) интерпретацией системы ?) представлением системы ?) изоморфизмом системы Вопрос id:776897 Средство для соединения фраз для преобразования других фраз называется ?) грамматикой ?) метаязыком ?) функтором ?) конъюнкцией Вопрос id:776898 Существует команд машины Тьюринга ?) 3 типа ?) 2 типа ?) 8 типов ?) 4 типа Вопрос id:776899 Существуют три основных класса фраз: имена, предложения и ?) кванторы ?) дизъюнкты ?) функторы ?) предикаты Вопрос id:776900 Теорема Геделя о неполноте арифметики поколебала оптимистические надежды Гильберта на полное решение вопросов оснований математики с помощью ?) нормализации алгоритмов ?) машины Тьюринга ?) конструктивисткой теории ?) аксиоматического метода Вопрос id:776901 Теорема, связывающая рекурсивности множества с рекурсивной перечислимостью этого множества и его дополнения, называется теоремой ?) Тьюринга ?) Поста ?) Клини ?) Гёделя Вопрос id:776902 Теория алгоритмов является частью ?) математического анализа ?) численных методов ?) математической логики ?) теории чисел Вопрос id:776903 Усеченная разность равна ?) 3 ?) -3 ?) 5 ?) 0 Вопрос id:776904 Установление соответствия между элементарными высказываниями формальной теории и содержательными высказываниями некоторой предметной области называется ?) интерпретацией теории ?) эффективной процедурой ?) классом функторов ?) порождающей грамматикой Вопрос id:776905 Утверждение формально записывается как ?) ?) ?) ?) Вопрос id:776906 Утверждение арифметики Пеано называется неразрешенным, если оно ?) и его отрицание w-противоречивы ?) противоречит системе аксиом ?) истинно, но недоказуемо ?) и его отрицание опровержимы Вопрос id:776907 Формализованный язык для однозначной записи алгоритмов называется ?) автоматным языком ?) метаязыком языком ?) алгоритмическим языком ?) регулярным языком Вопрос id:776908 Формальная грамматика, позволяющая построить любую правильную цепочку символов, называется грамматикой ?) регулярной ?) порождающей ?) нормальной ?) автоматной Вопрос id:776909 Фразы, соединяемые функтором, называются ?) регулярными ?) аргументами ?) формульными ?) предложениями Вопрос id:776910 Функция является: 1) частично вычислимой; 2) примитивно рекурсивной; 3) частично рекурсивной ?) 2 и 3 ?) 1 и 3 ?) 1 ?) 1 и 2 Вопрос id:776911 Функция имеет Гёделевский номер, равный ?) 3 ?) 1 ?) 4 ?) 2 Вопрос id:776912 Функция имеет гёделевский номер, равный ?) 3 ?) 4 ?) 5 ?) 2 Вопрос id:776913 Функция является ?) вычислимой ?) частично вычислимой ?) общерекурсивной ?) рекурсивной Вопрос id:776914 Функция вычисляется по формуле ?) ?) ?) ?) Вопрос id:776915 Функция имеет гёделевский номер, равный ?) 5 ?) 1 ?) 2 ?) 4 Вопрос id:776916 Функция равна ?) x+y ?) x+y+z ?) xyz ?) 3 Вопрос id:776917 Функция имеет гёделевский номер, равный ?) 3 ?) 19 ?) 13 ?) 9 Вопрос id:776918 Функция называется частично рекурсивной, если она либо принадлежит к числу исходных п.р.ф., либо может быть получена из них с помощью операторов ?) рекурсии ?) подстановки, рекурсии, минимизации ?) подстановки, минимизации ?) подстановки, рекурсии Вопрос id:776919 Функция является примитивно рекурсивной, если она получается из набора исходных функций с помощью оператора: 1) рекурсии; 2) ограниченной минимизации; 3) подстановки - из перечисленного ?) 1 ?) 1 и 3 ?) 1 и 2 ?) 1, 2 и 3 Вопрос id:776920 Функция, вычислимая по Тьюрингу, является ?) частично рекурсивной ?) примитивно рекурсивной ?) характеристической ?) общерекурсивной Вопрос id:776921 Функция, вычисляемая некоторой машиной Тьюринга с входным и выходным алфавитами, называется ?) рекурсивной ?) обратной ?) характеристической ?) вычислимой Вопрос id:776922 Функция, определяемая как число шагов в вычислении машиной Тьюринга, называется ?) характеристической ?) геделевским номером ?) временным ресурсом ?) длиной программы Вопрос id:776924 Функция, равная единице тогда и только тогда, когда предикат истинен, называется ?) примитивно вычислимой ?) вычислимой ?) частично рекурсивной ?) характеристической Вопрос id:776925 Частично вычислимая функция ?) вычисляется с ограниченной точностью ?) может быть продолжена до вычислимой ?) не везде совпадает с вычислимой ?) это частный случай вычислимой Вопрос id:776926 Челночный алгоритм является алгоритмом ?) регулярным ?) нелинейным ?) марковским ?) дискретным |
Copyright testserver.pro 2013-2024
- AppleWebKit