Тесты онлайн, бесплатный конструктор тестов. Психологические тестирования, тесты на проверку знаний.
Список вопросов базы знанийМатематическая логика и теория алгоритмовВопрос 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 ?) большие 1 ?) из отрезка [0, 1] ?) из полуинтервала [0, ∞) Вопрос id:777043 Высотой нечеткого множества называется ?) нижняя граница значений его функции принадлежности ?) верхняя граница значений его функции принадлежности ?) размерность этого множества ?) мощность этого множества Вопрос id:777044 Вычислительными ресурсами называют ?) временные или пространственные характеристики процесса вычисления ?) временные характеристики процесса вычисления ?) используемый объем памяти вычислительной машины, используемой для решения проблемы ?) пространственные характеристики процесса вычисления Вопрос id:777045 Геделевский номер функции 0(х)=0 равен ?) 1 ?) 3 ?) 4 ?) 2 Вопрос id:777046 Геделевский номер функции  равен?) 3 ?) 1 ?) 2 ?) 5 Вопрос id:777047 Геделевский номер функции  равен?) 2 ?) 3 ?) 5 ?) 7 Вопрос id:777048 Геделевский номер функции  равен?) 3 ?) 7 ?) 5 ?) 11 Вопрос id:777049 Геделевский номер функции  равен?) 11 ?) 13 ?) 5 ?) 7 Вопрос id:777050 Геделевский номер функции S(х)=x+1 равен ?) 3 ?) 1 ?) 4 ?) 2 Вопрос id:777051 Дедуктивные рассуждения – это ?) рассуждения, состоящие в получении из имеющихся знаний нового знания по некоторым точным правилам ?) рассуждения, с помощью которых из знаний об отдельных фактах получаются знания об общих закономерностях. ?) система логического вывода на множестве высказываний ?) рассуждения, имеющие цель доказать непротиворечивость исходной системы аксиом Вопрос id:777052 Дизъюнкт  называется правилом, если?) k=1 или n=1 ?) k=1 и n=1 ?) k=1 и n>0 ?) k=1 или n=0 Вопрос id:777053 Дизъюнкт  называется фактом, если?) k=1 и n=1 ?) k=1 и n=0 ?) k=1 или n=1 ?) k=1 или n=0 Вопрос id:777054 Дизъюнкт называется вопросом, если он имеет вид ?)  ?)  ?)  ?)  Вопрос id:777055 Дизъюнкт Хорна – это дизъюнкт  , в котором?) k=1 или k=2 ?) k=0 или k=1 ?) k=0 и n=0 ?) k=1 и n=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=4, то 2>3 ?) если 2*2=5, то 2<3 ?) если 2*2=5, то 2>3 Вопрос id:777063 Из следующих предикатов являются тождественно истинными ?) sin2x + cos2x = 1 ?) x2 -1 ≥ 0 ?) x2 + y2 ≥ 0 ?) x2 + y2 > 0 Вопрос id:777064 Из следующих предложений являются высказываниями ?) x2 + y2 ?) Будапешт – столица Румынии ?) студент физико-математического факультета ?) а>0 Вопрос id:777065 Из следующих эквивалентностей истинны ?) 2*2=4 тогда и только тогда, когда 2>3 ?) 2*2=5 тогда и только тогда, когда 2<3 ?) 2*2=4 тогда и только тогда, когда 2<3 ?) 2*2=5 тогда и только тогда, когда 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 an ai qn ?) qn ai aj qk ?) qk ai aj qn ?) qi ak aj qn Вопрос id:777075 Конечный автомат может быть задан ?) таблицей переходов ?) набором команд ?) графом ?) всеми этими способами Вопрос id:777076 Конечный автомат останавливается ?) если читающая головка встречает пустой символ ?) если читающая головка встречает два подряд идущих одинаковых символа ?) если он оказывается в ситуации, не являющейся левой частью какой-либо команды ?) если читающая головка встречает три подряд идущих одинаковых символа Вопрос id:777077 Континуум – это мощность множества, равномощного ?) счетному множеству ?) множеству действительных чисел ?) множеству рациональных чисел ?) множеству натуральных чисел |
Copyright tests.ithead.ru 2013-2026