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