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

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

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

Вопрос id:777028
Основателем математической логики считается Г. Лейбниц
?) да
?) нет
Вопрос id:777029
Парадокс Кантора формулируется в рамках теории множеств
?) да
?) нет
Вопрос id:777030
Под высказыванием понимается любое истинное повествовательное предложение
?) нет
?) да
Вопрос id:777031
Теория алгоритмов является частью математической логики
?) нет
?) да
Вопрос id:777032
Фраза "если число делится на 6, то оно делится на 7" является импликацией
?) нет
?) да
Вопрос id:777033
Аксиомой называется
?) утверждение, о котором можно сказать, что оно либо истинно, либо ложно
?) исходное положение научной теории, принимаемое без доказательства
?) положение научной теории, получаемое в результате доказательства
?) положение научной теории, которое в рамках данной теории может быть опровергнуто
Вопрос id:777034
Активной зоной при работе машины Тьюринга называется
?) количество ячеек ленты, которые были изменены при работе машины Тьюринга
?) количество ячеек ленты, которые не были изменены при работе машины Тьюринга
?) множество непустых ячеек ленты, которые просматривались при работе машины Тьюринга
?) множество пустых ячеек ленты, которые просматривались при работе машины Тьюринга
Вопрос id:777035
Алгебра высказываний – это
?) система арифметических операций, примененных к высказываниям
?) система логического вывода на множестве высказываний
?) определенным образом заданные функции над высказываниями, принимающие значения 0 и 1
?) система теоретико-множественных операций над высказываниями
Вопрос id:777036
Алгоритм называется экспоненциально ограниченным, если его сложность
?) возрастает полиномиально с ростом длины обрабатываемой последовательности
?) не зависит от длины обрабатываемой последовательности
?) возрастает экспоненциально с ростом длины обрабатываемой последовательности
?) возрастает линейно с ростом длины обрабатываемой последовательности
Вопрос id:777037
Алгоритмом называется
?) численный метод дифференцирования многочлена
?) точно определенный способ решения задачи
?) метод доказательства теоремы в рамках формальной теории
?) численный метод нахождения корней полинома
Вопрос id:777038
Внешний алфавит машины Тьюринга – это
?) символы, характеризующие состояние машины Тьюринга
?) символы, подающиеся на вход машины Тьюринга и выдающиеся на ее выходе
?) набор команд машины Тьюринга
?) символы, из которых строятся команды машины Тьюринга
Вопрос id:777039
Внутренний алфавит машины Тьюринга – это
?) символы, характеризующие состояние машины Тьюринга
?) символы, подающиеся на вход машины Тьюринга и выдающиеся на ее выходе
?) набор команд машины Тьюринга
?) символы, из которых строятся команды машины Тьюринга
Вопрос id:777040
Временной сложностью вычисления функции f(x) называется
?) длина активной зоны машины Тьюринга, вычисляющей эту функцию
?) объем памяти, требуемой для вычисления функции с помощью электронно-вычислительной машины
?) число шагов машины Тьюринга, вычисляющей эту функцию
?) время, требуемое для вычисления функции с помощью электронно-вычислительной машины
Вопрос id:777041
Высказывание – это
?) повествовательное предложение, о котором нельзя сказать, что оно истинно или ложно
?) повествовательное предложение, о котором можно сказать, что оно истинно
?) повествовательное предложение, о котором можно сказать, что оно либо истинно, либо ложно
?) повествовательное предложение, о котором можно сказать, что оно ложно
Вопрос id:777042
Высота нечеткого множества может принимать значения
?) 0 или 1
?) из отрезка [0, 1]
?) из полуинтервала [0, ∞)
?) большие 1
Вопрос id:777043
Высотой нечеткого множества называется
?) верхняя граница значений его функции принадлежности
?) нижняя граница значений его функции принадлежности
?) мощность этого множества
?) размерность этого множества
Вопрос id:777044
Вычислительными ресурсами называют
?) используемый объем памяти вычислительной машины, используемой для решения проблемы
?) временные характеристики процесса вычисления
?) пространственные характеристики процесса вычисления
?) временные или пространственные характеристики процесса вычисления
Вопрос id:777045
Геделевский номер функции 0(х)=0 равен
?) 1
?) 4
?) 3
?) 2
Вопрос id:777046
Геделевский номер функции равен
?) 5
?) 2
?) 3
?) 1
Вопрос id:777047
Геделевский номер функции равен
?) 3
?) 5
?) 7
?) 2
Вопрос id:777048
Геделевский номер функции равен
?) 11
?) 7
?) 5
?) 3
Вопрос id:777049
Геделевский номер функции равен
?) 11
?) 7
?) 5
?) 13
Вопрос id:777050
Геделевский номер функции S(х)=x+1 равен
?) 4
?) 2
?) 3
?) 1
Вопрос id:777051
Дедуктивные рассуждения – это
?) рассуждения, с помощью которых из знаний об отдельных фактах получаются знания об общих закономерностях.
?) рассуждения, состоящие в получении из имеющихся знаний нового знания по некоторым точным правилам
?) рассуждения, имеющие цель доказать непротиворечивость исходной системы аксиом
?) система логического вывода на множестве высказываний
Вопрос id:777052
Дизъюнкт называется правилом, если
?) k=1 или n=0
?) k=1 и n>0
?) k=1 или n=1
?) k=1 и n=1
Вопрос id:777053
Дизъюнкт называется фактом, если
?) k=1 и n=0
?) k=1 или n=0
?) k=1 и n=1
?) k=1 или n=1
Вопрос id:777054
Дизъюнкт называется вопросом, если он имеет вид
?)
?)
?)
?)
Вопрос id:777055
Дизъюнкт Хорна – это дизъюнкт , в котором
?) k=1 и n=1
?) k=1 или k=2
?) k=0 и n=0
?) k=0 или k=1
Вопрос id:777056
Дизъюнкт – это предложение вида
?)
?)
?)
?)
Вопрос id:777057
Дизъюнкцией высказываний а и b называется высказывание, которое
?) истинно, если а и b ложны, и ложно, если хотя бы одно из них истинно
?) истинно, если а или b истинно, и ложно, если оба ложны
?) истинно, если а или b ложно, и ложно, если оба истинны
?) истинно, если а и b истинны, и ложно, если хотя бы одно из них ложно
Вопрос id:777058
Значения лингвистической переменной – это
?) элементы нечеткого множества
?) одноместные предикаты
?) высказывания
?) символы некоторого алфавита
Вопрос id:777059
Из перечисленных языков программирования к декларативным относятся
?) Лисп
?) Лого
?) Паскаль
?) Бейсик
Вопрос id:777060
Из перечисленных языков программирования к процедурным относятся
?) Бейсик
?) Паскаль
?) Лисп
?) Си
Вопрос id:777061
Из приведенных ниже формул не является тавтологией
?)
?)
?)
?)
Вопрос id:777062
Из следующих импликаций истинны
?) если 2*2=4, то 2<3
?) если 2*2=5, то 2>3
?) если 2*2=5, то 2<3
?) если 2*2=4, то 2>3
Вопрос id:777063
Из следующих предикатов являются тождественно истинными
?) x2 + y2 ≥ 0
?) x2 + y2 > 0
?) sin2x + cos2x = 1
?) x2 -1 ≥ 0
Вопрос id:777064
Из следующих предложений являются высказываниями
?) студент физико-математического факультета
?) а>0
?) x2 + y2
?) Будапешт – столица Румынии
Вопрос id:777065
Из следующих эквивалентностей истинны
?) 2*2=5 тогда и только тогда, когда 2>3
?) 2*2=5 тогда и только тогда, когда 2<3
?) 2*2=4 тогда и только тогда, когда 2<3
?) 2*2=4 тогда и только тогда, когда 2>3
Вопрос id:777066
Импликацией высказываний а и b называется высказывание, которое
?) истинно, если а или b ложно, и ложно, если оба истинны
?) истинно, если а и b истинны, и ложно, если хотя бы одно из них ложно
?) истинно, если а и b ложны, и ложно, если хотя бы одно из них истинно
?) ложно, если а истинно, а b – ложно, и истинно во всех остальных случаях
Вопрос id:777067
Инволютивность отрицания выражается следующей формулой
?)
?)
?)
?)
Вопрос id:777068
Интерпретацией теории называется
?) теоремы, доказуемые в рамках данной теории
?) набор аксиом данной теории
?) установление соответствия между высказываниями теории и содержательными высказываниями предметной области
?) теоремы, которые нельзя доказать в рамках данной теории
Вопрос id:777069
Квантор всеобщности обозначается символом
?) ~
?)
?)
?)
Вопрос id:777070
Квантор всеобщности, за которым следует переменная, означает
?) для всех значений переменной
?) не существует таких значений переменной
?) область истинности предиката есть пустое множество
?) существуют значения переменной
Вопрос id:777071
Квантор существования обозначается символом
?) ~
?)
?)
?)
Вопрос id:777072
Квантор существования, за которым следует переменная, означает
?) для всех значений переменной
?) не существует таких значений переменной
?) область истинности предиката есть пустое множество
?) существуют значения переменной
Вопрос id:777073
Классы сложности – это способ группировки алгоритмов
?) в соответствии с их сложностью
?) по объему памяти вычислительной машины, затрачиваемой на решение задачи
?) по сложности его описания
?) по времени, затрачиваемому на решение задачи
Вопрос id:777074
Команда машины Тьюринга, меняющая символ ai на aj и переходящая из состояния qk в состояние qn, имеет вид
?) qk ai aj qn
?) qi ak aj qn
?) qn ai aj qk
?) qk an ai qn
Вопрос id:777075
Конечный автомат может быть задан
?) всеми этими способами
?) графом
?) набором команд
?) таблицей переходов
Вопрос id:777076
Конечный автомат останавливается
?) если читающая головка встречает два подряд идущих одинаковых символа
?) если читающая головка встречает три подряд идущих одинаковых символа
?) если он оказывается в ситуации, не являющейся левой частью какой-либо команды
?) если читающая головка встречает пустой символ
Вопрос id:777077
Континуум – это мощность множества, равномощного
?) множеству рациональных чисел
?) счетному множеству
?) множеству действительных чисел
?) множеству натуральных чисел
Copyright testserver.pro 2013-2024 - AppleWebKit