Тесты онлайн, бесплатный конструктор тестов. Психологические тестирования, тесты на проверку знаний.
|
Список вопросов базы знанийМатематическая логика и теория алгоритмов (курс 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) ?) S(S(x)) ?) S2(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
- AppleWebKit