Description:
The problems of effective reduction of parametric logical-mathematical specifications of classes of tasks in explicative models with oracle are studied. Parametric methods of this reductions for fundamental classes of this specifications are being built. Representative classes of examples of this eductions are adduced.