защита лабораторных работ по предмету "Математическая логика и теория алгоритмов"

В прикрепленных ниже файлах находятся лабораторные работы и методические указания к ним. Суть работы: в файлах с лабораторными работами имеются приписки от преподавателя - всегда в скобках. Есть приписки как утверждения и есть как вопросы - задача либо ответить на вопрос, либо заново решить задание в формулировке, заданной преподавателем. Для ответа на вопросы, связанных с определениями, прикреплю дополнительно файлы с лекционными материалами. Вариант работы 10.