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