Թվային սխեմաների ավտոմատացված նախագծման մեթոդների մշակումը ոչ հստակ բազմությունների տեսության հիման վրա