Необходимо решить 5 задач по темам: «Логика предикатов», «Секвенции. Метод резолюций», «Машина Тьюринга».