Данная работа представляет собой Промежуточные и итоговый тесты по курсу дисциплины «Математическая логика и теория алгоритмов» Курс 3, семестр 6.
Предупреждение: РОСДИСТАНТ генерирует случайным образом вопросы тестов и некоторые вопросы ваших тестов могут отличаться. Но, так как количество вопросов в тестах ограничено, то велика вероятность получения таких же вопросов на которые есть ответы. Приобретая тесты, вы соглашаетесь с этим. Поэтому предварительно внимательно смотрите тесты (демоверсии).
1. Основные понятия алгебры высказываний
2. Формулы алгебры высказываний
3. Логическое следование
4. Равносильность формул
5. Преобразование формул
6. СДНФ (совершенная дизъюнктивная нормальная форма)
7. СКНФ (совершенная конъюнктивная нормальная форма)
8. Множество истинности предиката
9. Следование предикатов
10. Равносильность предикатов
11. Приведённые формулы и предварённые нормальные формы
12. Исчисление высказываний и предикатов
13. Машина Тьюринга
14. Марковские подстановки
15. Нормальный алгоритм Маркова
Итоговый тест