Точная параметро-эффективная расшифровка линейных функций k-значной логикитезисы доклада