Главная / Алгоритмы и теория вычислений

Алгоритмы и теория вычислений - ответы на тесты Интуит

Курс посвящен знакомству с такими фундаментальными математическими понятиями, как вычисления и доказательство.

Список вопросов:

# Традиционный набор операций в исчислении высказываний включает
# Синонимом названия операции конъюнкции является
# Синонимом названия операции импликации является
# Стандартное правило вывода состоит из
# Стандартное правило вывода обычно называют
# Принцип рассуждения от следствия к причине называется
# Метатеорема - это
# Проверка истинности утверждения на первом шаге при n=1 в методе математической индукции называется
# Индукционный шаг в методе математической индукции - это
# В исчисления предикатов существуют кванторы
# Если переменная х не связана в формуле F, то она называется
# Терм - это
# Исчисления предикатов
# Формулы в исчислении предикатов образуются с помощью
# Аксиомы исчисления предикатов формируются из
# Правила вывода исчисления предикатов формируются из
# Утверждение об объектах исчисления предикатов, подлежащее доказательству, называется
# Утверждение о некоторой теореме исчисления предикатов, подлежащее доказательству, называется
# Предметная область, соответствующая формальной системе, называется
# Предметная область называется моделью, если
# Формула называется общезначимой, если она
# Теорема Гёделя о полноте исчисления предикатов утверждает, что
# Исчисление предикатов называется разрешимым, если
# Теорема Чёрча утверждает, что
# Литера в методе резолюций - это
# Пустой дизъюнкт в методе резолюций обозначается
# Аббревиатура КНФ в контексте логических исчислений - это
# Аббревиатура ДНФ в контексте логических исчислений - это
# Контрарная пара в методе резолюций - это
# Идея метода резолюций состоит в
# Метод резолюций по своему смыслу более всего близок методу
# Обязательным требованием метода резолюций является приведение исходной формулы к
# Метод аналитических таблиц в отличие от метода резолюций
# К формулам конъюнктивного типа относятся
# К формулам дизъюнктивного типа относятся
# К формулам конъюнктивного типа не относится
# Некоторая процедура, состоящая из конечного числа шагов, строго определенных на конкретном наборе данных, называется:
# Основными свойствами алгоритма являются:
# Свойство алгоритма, заключающееся в возможности его применения к бесконечно большому множеству данных, называется:
# Свойство алгоритма, заключающееся в том, что при одних и тех же данных получается один и тот же результат, называется:
# Схема определения понятия "Алгоритм" включает:
# Детерминированность в теории алгоритма означает:
# Классификация алгоритмических моделей включает следующие группы:
# Представителями класса моделей "Абстрактные машины" являются:
# Машина Тьюринга состоит из:
# Если машина Тьюринга зацикливается на некотором слове, это означает, что:
# Машина Тьюринга может быть задана:
# Граф,задающий машину Тьюринга, обладает следующими свойствами::
# К операциям над машинами Тьюринга относятся:
# К особенностям программирования машин Тьюринга относятся:
# Характерными свойствами головки машины Тьюринга являются:
# Головка машины Тьюринга имеет возможность:
# Машина Тьюринга и машина Поста относятся к классу:
# Говоря об абстрактных машинах, чаще всего имеют в виду машины Тьюринга, потому что:
# Примером примитивно-рекурсивной функции является:
# Оператор суперпозиции функций является примером:
# Суперпозиция - это
# Добавление оператора неограниченной минимизации к классу примитивно-рекурсивных функций приводит к
# Класс частично-рекурсивных функций образуют функции, которые
# Тезис Чорча гласит:
# Тезис Тьюринга гласит:
# Отличие тезиса от теоремы заключается в
# Выберите верное:
# Выберите верное:
# Если для любого произвольно взятого элемента можно определить, принадлежит он некоторому множеству или нет, то такое множество называется:
# Множество, которое может быть порождено некоторой вычислимой функцией, называется:
# Множество корней некоторого уравнения является примером
# Множество степеней тройки является примером
# Множество называется перечислимым, если
# Выберите верное:
# Свойствами алгоритма не являются:
# Сходимость алгоритма означает, что
# Цифровая техника обрабатывает
# Примером аналогового устройства является:
# Примером дискретного устройства является:
# Конечный автомат:
# Согласно определению конечный автомат состоит из
# В определении конечного автомата не содержится
# Универсальным способом задания конечного автомата является:
# В определении конечный автомат присутствуют:
# Автоматический железнодорожный переезд является примером
# Конечный автомат, имеющий одно состояние, характеризуется следующими свойствами:
# Два конечных автомата называются эквивалентными, если
# Два конечных автомата называются эквивалентными, если
# Отношение эквивалентности
# Конечный автомат называется логическим, если
# Двоичные наборы, являющиеся алфавитами логического автомата, представляют собой
# Одним из способов определения эквивалентности конечных автоматов является:
# Машина Тьюринга, описывающая конечный автомат,
# Конечный автомат называется "конечным", потому что
# Конечный автомат, осуществляющий побитовое сложение двух чисел
# При побитовом сложении двух чисел с помощью конечного автомата используемая память
# При побитовом сложении двух чисел с помощью конечного автомата длина суммы по отношению в днинам слагаемых увеличится максимум на
# Распознающий конечный автомат
# Множество вида (010010010010...) является:
# Множество вида (01001000100001...) является:
# Машина Тьюринга:
# Конечный автомат:
# Причиной, по которой конечный автомат не способен распознавать непериодичные последовательности, является:
# Результатом конкатенации двух множеств М1 и М2 является множество М3, элементы которого получаются:
# Пусть М1 и М2 - некоторые множества, с соответствующими мощностями. Тогда мощность множества М3, полученного путем конкатенации множеств М1 и М2 будет
# Множество слов в произвольном алфавите А называется регулярным, если оно может быть получено из элементарных множеств путем конечного числа применений операции
# Множество слов в произвольном алфавите, которое может быть получено из элементарных множеств путем конечного числа применений операций объединения, конкатенации, итерации, называется:
# Множество распознаваемо конечным автоматом, если
# Множество, разрешимое конечным автоматом, характеризуется:
# Сеть Петри - это двудольный граф, состоящий из:
# Сеть Петри представляет собой:
# Сеть Петри в вычислительном плане:
# Определение формальной системы включает в себя
# Вычисление или определение функции через нее саму в вычисленных или определенных ранее значениях называется
# Правила формальной системы имеют вид
# Объектами формальной системы могут быть
# Правила построения новых объектов в формальной системе называются
# Типы данных в языках программирования введены для
# Примером формальной системы является
# Всякая формальная система задает
# Примером формальной системы является
# Дискретность формальной системы означает, что
# Формальность формальной системы означает
# Наполнение формальной системы смыслом называется
# Существенность в формальной системе - это
# С синтаксической точки зрения все записанное в формальной системе
# Формальная система определяется
# Правило вывода в формальной системе - это
# Множество аксиом формальной системы
# В выводе в контексте формальной системы каждое слово - это либо
# Если А - это алфавит, то некоторое подмножество множества всех слов алфавита А называется
# Пусть А - некоторый алфавит. Тогда языком алфавита А называется
# Формальная грамматика - это четверка, состоящая из
# В определении формальной грамматики отсутствует
# Язык, порождаемый формальной грамматикой - это
# Может ли быть выводимым один и тот же язык в контексте формальной грамматики разными грамматиками?
# Две грамматики эквивалентны, если
# Если один и тот же язык выводим несколькими грамматиками, то такие грамматики называются:
# В контексте формальной грамматики слова алфавита называются:
# Множество правил в формальной грамматике
# Согласно классификации Хомского все формальные грамматики делятся на:
# Синонимичное название грамматики типа 1 в классификации грамматик Хомского - это
# Грамматика типа 2 согласно классификации грамматик Хомского называется:
# Грамматика типа 3 согласно классификации грамматик Хомского называется:
# Регулярная грамматика согласно классификации Хомского относится к классу
# Контекстно-свободная грамматика согласно классификации Хомского относится к классу
# Неукорачивающая грамматика согласно классификации Хомского относится к классу
# Контекстная грамматика согласно классификации Хомского относится к классу