FORMALIZATION OF SOLUTION FOR NONLINEAR DIFFERENTIAL EQUATIONS OF NEUTRAL TYPE WITH IMPULSE CONTROL
The article is devoted to formalization of concept of the solution for the differential equations of neutral type with the generalized effect in the right part. The concept of the solution is formalized by closure of the set of smooth solutions in the space of functions of the bounded variation. Sufficient conditions providing existence so the formalized solution are received. The integral equation describing so the formalized solution is received. Illustrating examples are resulted.