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

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

Математическая логика и теория алгоритмов (курс 1)

Вопрос id:776679
Если А рекурсивно, а В – рекурсивно перечислимо, то множество ___ рекурсивно
?) (А∪В)\(А∩В)
?) А\В
?) А∩В
?) В\А
Вопрос id:776680
Если высота нечеткого множества меньше 1, то оно называется
?) четким
?) нормальным
?) единичным
?) субнормальным
Вопрос id:776682
Если множество рекурсивно, то оно ___ всюду определенной вычислимой функции
?) не является ни множеством значений, ни областью определения
?) является только множеством значений
?) является множеством значений и областью определения
?) является только областью определения
Вопрос id:776683
Законченная последовательность знаков определенной длины, воспринимаемая как элемент обработки с определенным семантическим содержанием, называется
?) предложением
?) формулой
?) языком
?) словом
Вопрос id:776685
Знаком принадлежности элемента некоторому множеству является символ
?) ()
?) ∈
?) (
?) )
Вопрос id:776686
Интерес к логике оживился в ___ столетии под влиянием открытия неевклидовых геометрий (ответ укажите римскими цифрами)
Вопрос id:776687
Каждая п.р.ф. (примитивно–рекурсивная функция) имеет число геделевских номеров
?) ограниченное
?) бесконечное
?) конечное
?) индивидуальное
Вопрос id:776688
Класс примитивно рекурсивных функций ___ вычислимых функций
?) входит в класс
?) содержит в себе класс
?) дополняет класс
?) совпадает с классом
Вопрос id:776689
Количество типов команд машины Тьюринга равно ___ (ответ укажите цифрой)
Вопрос id:776690
Команда машины Тьюринга состоит из ___ элементарных действий (ответ укажите цифрой)
Вопрос id:776691
Комбинация знаков, содержащая знаки переменных, которая превращается в высказывание при замене переменных именами предметов, называется ___ формой
?) именной
?) высказывательной
?) иносказательной
?) абстрактной
Вопрос id:776692
Конечному автомату соответствует грамматика, порождающая
?) словарь машины Тьюринга
?) язык программирования
?) машину Тьюринга
?) регулярный язык
Вопрос id:776693
Конечные автоматы могут быть следующих типов
?) перечислимые
?) рекурсивные
?) недетерминированные
?) детерминированные
Вопрос id:776694
Концептуальное отличие нечеткой логики от классической заключается в том, что она оперирует
?) только промежуточными между значениями "истина" и "ложь" значениями
?) только значениями "ложь"
?) только значениями "истина" и "ложь"
?) не только значениями "истина" и "ложь", но и промежуточными значениями
Вопрос id:776695
Логика Буля основывается на
?) отношении эквивалентности и отношении порядка
?) отношении порядка
?) аксиоматическом подходе
?) отношении эквивалентности
Вопрос id:776698
Логику, являющуюся многозначной логикой, позволяющей определить промежуточные значения для таких общепринятых оценок, как да/нет, истинно/ложно, черное/белое, называют
?) математической
?) нечеткой
?) логикой высказываний
?) модальной
Вопрос id:776699
Логическая связка дизъюнкция высказываний А и В обозначается как
?) А ∩ В
?) А ∪ В
?) В ∩ А
?) А ∪ В
Вопрос id:776701
Логическая связка конъюнкция высказываний А и В обозначается как
?) А ∩ В
?) В ∩ А
?) А ∪ В
?) А ∪ В
Вопрос id:776704
Логическое выражение Ā, где А – высказывание, обозначает
?) импликацию
?) отрицание
?) дополнение
?) конъюнкцию
Вопрос id:776705
Любая неразрешимая алгоритмическая проблема дает пример множества
?) неразрешимого
?) невычислимого
?) неперечислимого
?) несчетного
Вопрос id:776706
Марковский алгоритм носит также название ___ алгоритма
?) нелинейного
?) нормального
?) недетерминированного
?) стохастического
Вопрос id:776707
Математиками, показавшими возможность существования универсальной вычислительной машины, способной выполнить любую эффективную процедуру, являются
?) Пост
?) Гильберт
?) Тьюринг
?) Гедель
Вопрос id:776708
Математиком, предложившим идею использования рекурсии для решения задач, связанных с основаниями математики, является
Вопрос id:776710
Множество A есть подмножество множества В в том и только в том случае, если каждый элемент множества А является
?) элементом множества B
?) является элементом другого множества
?) является другим множеством
?) не является элементом множества B
Вопрос id:776711
Множество аксиом вместе с явным определением доказательства составляют
?) рекурсивное множество
?) формальную систему
?) машину Тьюринга
?) теорию алгоритмов
Вопрос id:776712
Множество всевозможных осмысленных утверждений языка является
?) неперечислимым
?) рекурсивным
?) креативным
?) рекурсивно перечислимым
Вопрос id:776713
Множество всех истинных утверждений языка L является
?) неразрешимым и неперечислимым
?) неразрешимым, но перечислимым
?) разрешимым, но неперечислимым
?) разрешимым и перечислимым
Вопрос id:776714
Множество доказуемых утверждений формальной системы арифметики
?) разрешимо
?) замкнуто
?) неразрешимо
?) открыто
Вопрос id:776715
Множество истинных утверждений
?) перечисляет все аксиомы системы
?) выводится из системы аксиом
?) носит название системы аксиом
?) не выводится из системы аксиом
Вопрос id:776716
Множество натуральных чисел обладает свойствами
?) полноты
?) ограниченности
?) рекурсивности
?) перечислимости
Вопрос id:776717
Множество номеров самоприменимой машины Тьюринга
?) разрешимо
?) рекурсивно перечислимо
?) рекурсивно неперечислимо
?) неразрешимо
Вопрос id:776718
Множество простых чисел обладает свойствами
?) ограниченности
?) рекурсивности
?) перечислимости
?) замкнутости
Вопрос id:776719
Множество, если его характеристический предикат является вычислимым, называется
?) рекурсивно перечислимым
?) рекурсивным
?) вычислимым
?) эффективным
Вопрос id:776720
Множество, если оно является множеством значений некоторой вычислимой функции, называется
?) рекурсивно перечислимым
?) эффективным
?) вычислимым
?) разрешимым
Вопрос id:776721
Наука, изучающая способы обоснования суждений, доказательств, мышления и логического вывода, называется
Вопрос id:776723
Не сохраняет примитивную рекурсивность оператор
?) минимизации
?) рекурсии
?) подстановки
?) сдвига
Вопрос id:776724
Нечеткая логика – это надмножество логики
?) высказываний
?) математической
?) Буля
?) модальной
Вопрос id:776725
Нечеткое отношение – это заданное определенным образом
?) отображение
?) высказывание
?) декартово произведение
?) отношение
Вопрос id:776729
Осмысленные конечные последовательности символов из алфавита L называются
?) командами
?) словарем
?) программой
?) утверждениями
Вопрос id:776730
Основные типы рассуждений, которые принято выделять в логике называются
?) дедуктивными
?) доказуемыми
?) предикативными
?) информационными
?) индуктивными
Вопрос id:776731
П.р.ф. S2 (х) = х + 2 вычисляется по формуле
?) S(х+3)
?) S2(x)
?) S(S(x))
?) S{х+2)
Вопрос id:776732
Переменные, фигурирующие в кванторах всеобщности и существования, называются ___ переменными
?) свободными
?) связанными
?) несвязанными
?) лингвистическими
Вопрос id:776734
Переход конечного автомата происходит
?) по команде извне
?) после прочтения символа на ленте
?) после обнаружения ошибки
?) в произвольный момент времени
Вопрос id:776735
Под термом имеются ввиду следующие понятия
?) именные формы
?) предложения
?) имена предметов
?) слова
Вопрос id:776736
Понятие полноты формальной системы состоит в том, что для любого утверждения s в рамках данной системы одно из утверждений ¬s и s
?) истинно
?) непротиворечиво
?) доказуемо
?) опровергаемо
Вопрос id:776737
Правильность слова, записанного на ленте конечного автомата, определяется по состоянию автомата
?) до прочтения слова
?) после прочтения второго символа слова
?) после прочтения последнего символа слова
?) после прочтения первого символа слова
Вопрос id:776738
Примером логического парадокса может служить парадокс
?) Рассела
?) Лейбница
?) Берри
?) лжеца
Вопрос id:776739
Примером семантического парадокса могут служить парадаксы
?) лжеца
?) Лейбница
?) Рассела
?) Берри
Вопрос id:776740
Пусть R обозначает свойство рекурсивности, а Р – рекурсивной перечислимости. Тогда
?) Р~R
?) Р=R
?) R→P
?) Р→R
Вопрос id:776742
Свойства, которыми может обладать не рекурсивное множество
?) не может быть областью определения всюду определенной вычислимой функции
?) может быть множеством значений всюду определенной вычислимой функции
?) может быть областью определения всюду определенной вычислимой функции
?) не может быть множеством значений всюду определенной вычислимой функции
Copyright testserver.pro 2013-2024