В работе представлено 200 ответов на тесты по курсу "Математическая логика и теория алгоритмов". Все вопросы промежуточных и итогового теста складываются из данных вопросов.
Для формул_______ выясните, будет ли какая-либо из них логическим следствием другой.
Количество элементарных дизъюнкций, входящих в СКНФ функции ______ равно
Количество элементарных конъюнкций, входящих в СДНФ функции ______ равно
Множество истинности предиката ________, где _______состоит
На множестве R заданы предикаты _________, Какое утверждение является верным?
Нормальный алгоритм в алфавите ______ задается схемой ______ . Какое слово получится в результате применения этого алгоритма к слову______?
Нормальный алгоритм в алфавите ______ задается схемой ______ . Применение его к слову _____ дает слово
Определите, в какое слово перерабатывает машина слово ______, исходя из начального стандартного положения
Определите, в какое слово перерабатывает машина слово ______ (обозревается ячейка ____)
Правило _______ называется правилом
Предваренная нормальная форма для формулы _______ имеет вид
Предикаты _______ и _______ равносильны на множестве.
Приведенная форма для формулы _________ алгебры предикатов имеет вид
Пусть для слов в алфавите _______дана подстановка _______. Ее применение к слову abcddacba дает
С помощью равносильных преобразований формула______ приводится к более простой формуле
Укажите такой порядок формул_______ чтобы из каждой формулы логически следовали все, стоящие после нее
Указать множество, на котором предикаты _______ и _______ равносильны.
Формула _________ является
Формула ______преобразовывается в эквивалентную ей, но не содержащую фиктивных переменных. Укажите эту формулу
Чему равно логическое значение последнего из приведенных высказываний?
Чему равно логическое значение высказывания?
Элементарные конъюнкции, входящие в СДНФ функции_______
Промежуточный тест 1. (15 вопросов)
Промежуточный тест 2. (10 вопросов)
Промежуточный тест 3. (15 вопросов)
Промежуточный тест 4. (15 вопросов)
Промежуточный тест 5. (10 вопросов)
Промежуточный тест 6. (15 вопросов)
Промежуточный тест 7. (10 вопросов)
Промежуточный тест 8. (15 вопросов)
Промежуточный тест 9. (15 вопросов)
Промежуточный тест 10. (15 вопросов)
Промежуточный тест 11. (15 вопросов)
Промежуточный тест 12. (13 вопросов)
Промежуточный тест 13. (12 вопросов)
Промежуточный тест 14. (10 вопросов)
Промежуточный тест 15. (15 вопросов)