Тесты онлайн, бесплатный конструктор тестов. Психологические тестирования, тесты на проверку знаний.
|
Список вопросов базы знанийМатематическая логика и теория алгоритмов (курс 1)Вопрос id:776744 Символы, которые машина Тьюринга читает и пишет на ленте, образуют ?) внешний алфавит ?) команды ?) выражения ?) внутренний алфавит Вопрос id:776746 Система аксиом Пеано содержит ___ аксиом (ответ дайте цифрой) Вопрос id:776747 Система теоретико-множественных операций над высказываниями, которые являются элементами множества, называется ___ высказываний ?) системой ?) теорией ?) алгеброй ?) логикой Вопрос id:776748 Совокупность исходных знаков, принятых за неделимые, и правил построения из них слов и словосочетаний без всякой связи с их возможной семантикой называется ___ языком ?) формальным ?) логическим ?) искусственным ?) логико-математическим Вопрос id:776749 Создателем формальной логики был Вопрос id:776750 Способ видения объектов формальных систем как конкретных объектов при условии, что содержательные объекты сохраняют структуру формальных, называется ___ системы ?) интерпретацией ?) трансформацией ?) представлением ?) изоморфизмом Вопрос id:776752 Существуют следующие классы фраз ?) кванторы ?) дизъюнкты ?) предложения ?) имена ?) функторы Вопрос id:776753 Существуют следующие формы записи работы конечного автомата ?) матрица переходов ?) набор команд ?) система алгебраических уравнений ?) граф состояний Вопрос id:776754 Теорема о том, что не существует формальной системы арифметики, удовлетворяющей условиям полноты и непротиворечивости, носит имя ___ (укажите фамилию) Вопрос id:776755 Теорема – «Множество тогда и только тогда разрешимо, когда оно само и его дополнение рекурсивно перечислимы», называется теоремой ?) Поста ?) Тьюринга ?) Геделя ?) Клини Вопрос id:776756 Теория алгоритмов является частью ?) математической логики ?) численных методов ?) теории чисел ?) математического анализа Вопрос id:776758 Укажите ограничения, накладываемые на базовые термы лингвистической переменной ?) непротиворечивость ?) упорядоченность ?) согласованность ?) ограниченность ?) нормальность ?) модальность ?) полнота Вопрос id:776759 Укажите соответствие между названием логической операции и ее обозначением
Вопрос id:776760 Укажите соответствие между понятиями логики и их содержанием
Вопрос id:776761 Укажите соответствие между понятиями теории алгоритмов и их содержанием
Вопрос id:776762 Укажите соответствие между понятиями теории конечных автоматов и их содержанием
Вопрос id:776763 Укажите соответствие между понятиями теории множеств и их содержанием
Вопрос id:776764 Укажите соответствие между понятиями теории формальных грамматик и их содержанием
Вопрос id:776765 Укажите соответствие между понятиями, характеризующими машину Тьюринга, и их содержанием
Вопрос id:776766 Укажите соответствие между понятиями, характеризующими теорию формальных систем и их содержание
Вопрос id:776767 Укажите соответствие между характеристиками сложности алгоритмов и их содержанием
Вопрос id:776768 Умозаключения – это элементарные рассуждения, в которых из одного или нескольких суждений получается еще одно суждение, называемое ?) посылками ?) суждением ?) экспликацией ?) заключением Вопрос id:776769 Усеченная разность чисел 5 и 8 (5÷8) равна ___ (ответ укажите цифрой) Вопрос id:776770 Установите соответствие логических выражений их равносильным выражениям
Вопрос id:776771 Установите соответствие логических выражений их равносильным выражениям
Вопрос id:776772 Установите соответствие между п.р.ф. и ее геделевским номером
Вопрос id:776773 Установите соответствие между предикатом и областью истинности предиката
Вопрос id:776774 Установление соответствия между элементарными высказываниями формальной теории и содержательными высказываниями некоторой предметной области называется ?) классом функторов ?) интерпретацией теории ?) эффективной процедурой ?) порождающей грамматикой Вопрос id:776775 Утверждение, что всякая вычислимая функция является вычислимой по Тьюрингу, называется тезисом ___ (укажите фамилию в родительном падеже) Вопрос id:776776 Формализованный язык для однозначной записи алгоритмов называется ___ языком ?) регулярным ?) автоматным ?) метаязыком ?) алгоритмическим Вопрос id:776777 Формальная грамматика, позволяющая построить любую правильную цепочку символов, называется ___ грамматикой ?) автоматной ?) регулярной ?) нормальной ?) порождающей Вопрос id:776779 Функция 0(х) имеет геделевский номер, равный ___ (ответ укажите цифрой) Вопрос id:776780 Функция e11 имеет геделевский номер, равный ___ (ответ укажите цифрой) Вопрос id:776781 Функция e31(x, y, z) + e32(x, y, z) равна ?) z + x ?) x + y ?) y + z ?) x+y+z Вопрос id:776782 Функция e33 имеет геделевский номер, равный ___ (ответ укажите цифрами) Вопрос id:776783 Функция S(х) имеет геделевский номер, равный ___ (ответ укажите цифрой) Вопрос id:776784 Функция называется частично рекурсивной, если она либо принадлежит к числу исходных п.р.ф., либо может быть получена из них с помощью операторов ?) рекурсии ?) минимизации ?) подстановки ?) обращения Вопрос id:776785 Функция х+у: 1); 2); 3) обладает следующими свойствами ?) частично рекурсивна ?) примитивно рекурсивна ?) примитивна вычислима ?) частично вычислима Вопрос id:776786 Функция является примитивно рекурсивной, если она получается из набора исходных п.р.ф. с помощью операторов ?) рекурсии ?) ограниченной минимизации ?) подстановки ?) замены Вопрос id:776787 Функция, вычислимая по Тьюрингу, является ?) общерекурсивной ?) характеристической ?) частично рекурсивной ?) примитивно рекурсивной Вопрос id:776788 Функция, вычисляемая некоторой машиной Тьюринга, называется ?) обратной ?) вычислимой ?) рекурсивной ?) характеристической Вопрос id:776789 Функция, определяемая как число шагов в вычислении машиной Тьюринга, называется ?) характеристической ?) временным ресурсом ?) геделевским номером ?) длиной программы Вопрос id:776790 Функция, полученная из вычислимой функции с помощью оператора рекурсии, является ?) интегрируемой ?) дифференцируемой ?) примитивно рекурсивной ?) вычислимой Вопрос id:776791 Функция, равная единице тогда и только тогда, когда предикат истинен, называется ?) примитивно рекурсивной ?) характеристической ?) частично рекурсивной ?) вычислимой Вопрос id:776792 Частично вычислимая функция может быть продолжена до ?) вычислимой ?) невычислимой ?) интегрируемой ?) непрерывной Вопрос id:776793 Часть логики, в которой для решения логических задач используется язык математических и логических знаков, – это логика ?) предикатов ?) математическая ?) Буля ?) высказываний Вопрос id:776794 Челночный алгоритм является модификацией ___ алгоритма ?) дискретного ?) марковского ?) регулярного ?) нелинейного Вопрос id:776795 Число компонент машины Тьюринга равно ___ (ответ укажите цифрой) Вопрос id:776796 Число символов, которое может находиться в ячейке ленты конечного автомата, равно ___ (ответ укажите цифрой) Вопрос id:776797 Язык логики предикатов является расширением языка логики ?) высказываний ?) нечеткой ?) формальной ?) математической |
Copyright testserver.pro 2013-2024
- AppleWebKit