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

Науки, в которых преобладают дедуктивные рассуждения, принято называть

О логике можно сказать, что она интересуется в первую очередь

Объединение множеств А и В обозначается

Объединение произвольного количества вполне определенных, отличных друг от друга объектов, природа и свойства которых могут быть какими угодно, называется

Ограничения, накладываемые на базовые термы лингвистической переменной

Одним из самых распространенных методов опросов экспертов явля­ется метод парных сравнений, лежащий в основе метода анализа иерар­хий, предложенного

Переменные, фигурирующие в кванторах всеобщности и существования, называются

Пересечение множеств А и В обозначается

Подход, состоящий в поиске адекватной конструктивной модели, называется

Последовательное применение ряда формул теории, такое, что любая формула этого ряда есть либо аксиома этой теории, либо непосредственное следствие из применения предыдущих формул, называется

Примером семантического парадокса может(-гут) служить

Раздел математики, объектом изучения которого являются математические абстракции программ, выполненных на определенных алгоритмических языках и обладающих определенной информационной и логической структурой, называется

Разность между А и В обозначается

Свойство формальной аксиоматической теории, когда в ее рамках не возможно доказать две противоречащие друг другу теоремы, называется

Семантические парадоксы еще называют

Символ, обозначающий индивидуальный объект или понятие, - это

Система, в которой знаки не функционируют независимо друг от друга, а образуют систему, правила которой определяют закономерности их построения, осмысления и употребления, называется

Создателем формальной логики был

Способ выбора подкласса истинных высказываний, принадлежащих классу элементарных высказываний, - это

Способ обозначения определенного понятия, предмета, свойства, используемый для присвоения, хранения, обработки и передачи информации, называется

Способ понимания суждения об объекте, явлении или событии называется

Теория, содержащая два вида правил, называемых правилами образования и правилами преобразования, называется

Термин «все х» обозначается в логике предикатов

Термин «некоторые х» или «существует хотя бы одно значение х» обозначается через

Требование, предъявляемое к синтаксическому правилу (т. е. к любой фразе, построенной с использованием базовых термов и терми­нальных символов)

Формальная аксиоматическая теория, теоремы которой представляют собой формулы, выводимые по определенным правилам, называется

Формула в теории, для которой не существует механизма вывода в рамках этой теории и для выявления ее неразрешимости требуется применять эвристические процедуры, не поддающиеся формализации, называется

Формула в теории, для которой существует механизм вывода в рамках этой теории, называется

Формула, которая истинна при всех интерпретациях, называется

Часть логики, в которой для решения логических задач используется язык математических и логических знаков, - это

Экспликация - строгая (математическая) формулировка понятия

Язык логики предикатов является расширением языка

Язык, предложения (формулы) которого выражают суждения и отношения исследуемой математической теории, называется

NP-полные задачи - класс задач, лежащих в классе P задач

NP-полные задачи входят в класс NP задач

Алгоритмическая сложность - зависимость времени исполнения алгоритма от длины входных данных

Алгоритмы класса O(N) эквивалентны использованию одномерных циклов

Алгоритмы сложности O(N) в общем случае сложнее, чем алгоритмы сложности O(N log(N))

Детерминированная машина Тьюринга - машина, использующая фиксированный набор входных данных

Детерминированность означает, что при выполнении каждого очередного шага, мы точно знаем, какой шаг мы сделаем следующим

Для алгоритмов класса O(N) каждый входной элемент обрабатывается С*N раз, где С - некоторая постоянная

Для алгоритмов класса сложности О(1) количество шагов алгоритма линейно зависит от количества входных данных

Для одной и той же проблемы могут существовать алгоритмы, различные по сложности

Задача о коммивояжере относится к классу P задач

Из классов P, NP и NP-полных задач самыми легкими являются NP-полные задачи

Недетерминированная машина Тьюринга выбирает, куда ей двинуться на каждой развилке случайным образом

Проблема Кука формулируется следующим образом: может ли проверка правильности решения задачи быть более длительной, чем само получение решения, независимо от алгоритма проверки

Сложность алгоритма определяется объемом входных данных задачи

А. А. Марков предположил, что всякий алгоритм в алфавите А эквивалентен некоторому нормальному алгоритму в этом же алфавите

Алгоритм Эвклида - алгоритм поиска наибольшего общего делителя