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