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

Алгоритмическая неразрешимость задач математики и вычислительной техники может быть доказана только с помощью моделей алгоритма

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

Алфавит в ассоциативном исчислении - набор из нулей и единиц

Задаче ассоциативного исчисления соответствует задача поиска в конечном лабиринте

Логическая задача - поиск пути в конечном лабиринте

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

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

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

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

Слово А эквивалентно слову В, если существует дедуктивная цепочка вывода А из В

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

Схема подстановок вместе с указанием, как ими пользоваться, определяет алгоритм в алфавите А

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

Верны ли определения?

А) n -местным отношением R на множествах называется подмножество прямого произведения

В) Элементы (где ) связаны отношением R тогда и только тогда, когда , а - упорядоченный набор из n элементов

Подберите правильный ответ

Верны ли определения?

А) Всякое высказывание, которое может быть получено из элементарных высказываний посредством применения логических операций отрицания, конъюнкции, дизъюнкции, импликации и эквивалентности, называется сложным высказыванием

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

Подберите правильный ответ

Верны ли определения?

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

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

Подберите правильный ответ

Верны ли определения?

А) Дизъюнктивной нормальной формой (ДНФ) формулы А называется равносильная ей формула, представляющая собой конъюнкцию элементарных дизъюнкций

В) Дизъюнктивной нормальной формой (ДНФ) формулы А называется равносильная ей формула, представляющая собой импликацию элементарных дизъюнкций

Подберите правильный ответ

Верны ли определения?

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

В) Конъюнктивной нормальной формой формулы А называется равносильная ей формула, представляющая собой конъюнкцию элементарных дизъюнкций

Подберите правильный ответ

Верны ли определения?

А) Квантор всеобщности, примененный к предикату Р(х) превращает его в высказывание «Для всякого х Р(х) истинно»

В) Квантор существования, примененный к предикату Р(х) превращает его в высказывание «Существует х, при котором Р(х) ложно»

Подберите правильный ответ

Верны ли определения?

А) Множеством называется собрание, совокупность объектов, объединенных по какому-нибудь общему признаку, свойству

В) Множество – это совокупность каких-либо объектов, которые можно пересчитать

Подберите правильный ответ

Верны ли определения?

А) Предикат - это то, о чем что-то утверждается в высказывании

В) Субъект - это то, что утверждается о субъекте

Подберите правильный ответ

Верны ли определения?

А) Формула А называется тождественно истинной, если она принимает значение 1 при всех значениях входящих в нее переменных

В) Формула А называется тавтологией, если она принимает значение 1 при всех значениях входящих в нее переменных

Подберите правильный ответ

Верны ли утверждения?

А) Импликацию двух высказываний Р и Q можно выразить следующим сложным высказыванием: «Р есть достаточное условие для Q»

В) Импликацию двух высказываний Р и Q можно выразить следующим сложным высказыванием: «Р есть необходимое условие для Q»

Подберите правильный ответ

К алфавиту первой категории исчисления высказываний: х, у, z, ...,х₁, х₂, .... относятся

символы, которые называются

Аксиоматические теории делятся на

Алфавит исчисления высказываний состоит из

Алфавит исчисления высказываний состоит из символов ___ категорий

Ассоциативность конъюнкции выражается следующей равносильностью

Благодаря введению символов в логику была получена основа для создания новой науки -

В выражении - x Р(х,у) переменная у является

В высказывании «7 – есть простое число»

В импликации предложение, непосредственно следующее за «если», есть

В импликации предложение, непосредственно следующее за «то», есть

В исчислении предикатов предметные переменные и предметные постоянные, вместе взятые, называются

В математических и других рассуждениях встречаются повествовательные предложения, образованные путем видоизменения некоторого предложения с помощью слова «не» или путем связывания предложений с помощью слов «и», «или», «если..., то» (или «влечет»), «тогда и только тогда», «когда». Эти пять слов или комбинаций слов называются

В теореме предикат Q(х) называется

В теореме предикат Р(х) называется

В теореме «Если число x делится на 12, то оно делится на 3» предикат «x делится на 12» является

В теореме «Если число x делится на 12, то оно делится на 3» предикат «x делится на 3» является

Вводя в предикате переменную, замещающую нужный предмет (например, «х есть действительное число»), мы получаем

Взаимно обратными теоремами являются следующие пары теорем

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

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

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

Выражение x∩ (y∪x) тождественно равно

Выражение x∩0 тождественно равно

Выражение x∪0 тождественно равно

Выражение x∪1 тождественно равно

Высказывание есть формула, в которой нет ___переменных

Две формулы логики предикатов А и В называются ___ на области М, если они принимают одинаковые логические значения при всех значениях входящих в них переменных, отнесенных к области М