{"id":475947,"date":"2023-08-09T07:24:43","date_gmt":"2023-08-09T07:24:43","guid":{"rendered":""},"modified":"2023-09-05T11:11:40","modified_gmt":"2023-09-05T11:11:40","slug":"automated-reasoning","status":"publish","type":"wiki","link":"https:\/\/oneproxy.pro\/in\/wiki\/automated-reasoning\/","title":{"rendered":"\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915"},"content":{"rendered":"<p>\u0915\u0943\u0924\u094d\u0930\u093f\u092e \u092c\u0941\u0926\u094d\u0927\u093f\u092e\u0924\u094d\u0924\u093e (\u090f\u0906\u0908) \u0914\u0930 \u0915\u0902\u092a\u094d\u092f\u0942\u091f\u0930 \u0935\u093f\u091c\u094d\u091e\u093e\u0928 \u092e\u0947\u0902 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u090f\u0915 \u0935\u094d\u092f\u093e\u092a\u0915 \u0915\u094d\u0937\u0947\u0924\u094d\u0930 \u0939\u0948 \u091c\u094b \u0938\u092e\u0938\u094d\u092f\u093e\u0913\u0902 \u0915\u094b \u0939\u0932 \u0915\u0930\u0928\u0947, \u092a\u094d\u0930\u092e\u0947\u092f\u094b\u0902 \u0915\u094b \u0938\u093e\u092c\u093f\u0924 \u0915\u0930\u0928\u0947 \u0914\u0930 \u0915\u091f\u094c\u0924\u0940 \u092f\u093e \u092d\u0935\u093f\u0937\u094d\u092f\u0935\u093e\u0923\u093f\u092f\u093e\u0902 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0924\u0930\u094d\u0915 \u0914\u0930 \u0905\u0928\u0941\u092e\u093e\u0928 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0924\u093e \u0939\u0948\u0964 \u0907\u0938 \u0924\u0915\u0928\u0940\u0915 \u092e\u0947\u0902 \u092e\u0942\u0932 \u0930\u0942\u092a \u0938\u0947 \u092a\u0930\u093f\u0938\u0930 \u0915\u0947 \u090f\u0915 \u0938\u0947\u091f \u0938\u0947 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0930\u0942\u092a \u0938\u0947 \u0928\u093f\u0937\u094d\u0915\u0930\u094d\u0937 \u0928\u093f\u0915\u093e\u0932\u0928\u0947 \u092e\u0947\u0902 \u0938\u0915\u094d\u0937\u092e \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u093e \u0928\u093f\u0930\u094d\u092e\u093e\u0923 \u0936\u093e\u092e\u093f\u0932 \u0939\u0948, \u091c\u094b \u0907\u0938\u0947 \u0906\u091c \u0915\u0947 \u0915\u0908 \u0924\u0915\u0928\u0940\u0915\u0940 \u0928\u0935\u093e\u091a\u093e\u0930\u094b\u0902 \u0915\u093e \u0905\u092d\u093f\u0928\u094d\u0928 \u0905\u0902\u0917 \u092c\u0928\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<h2>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u093e \u0907\u0924\u093f\u0939\u093e\u0938 \u0914\u0930 \u0909\u0924\u094d\u092a\u0924\u094d\u0924\u093f<\/h2>\n<p>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u0940 \u091c\u0921\u093c\u0947\u0902 \u0924\u0930\u094d\u0915 \u0914\u0930 \u0915\u0902\u092a\u094d\u092f\u0942\u091f\u093f\u0902\u0917 \u0915\u0947 \u0907\u0924\u093f\u0939\u093e\u0938 \u092e\u0947\u0902 \u0917\u0939\u0930\u093e\u0908 \u0938\u0947 \u0905\u0902\u0924\u0930\u094d\u0928\u093f\u0939\u093f\u0924 \u0939\u0948\u0902\u0964 \u092a\u0939\u0932\u093e \u091c\u094d\u091e\u093e\u0924 \u0905\u0928\u0941\u092e\u093e\u0928 \u0907\u0902\u091c\u0928 \u0932\u0949\u091c\u093f\u0915 \u0925\u093f\u092f\u094b\u0930\u093f\u0938\u094d\u091f \u0915\u0947 \u0939\u093f\u0938\u094d\u0938\u0947 \u0915\u0947 \u0930\u0942\u092a \u092e\u0947\u0902 \u092c\u0928\u093e\u092f\u093e \u0917\u092f\u093e \u0925\u093e, \u091c\u094b 1955 \u092e\u0947\u0902 \u090f\u0932\u0928 \u0928\u0947\u0935\u0947\u0932, \u0915\u094d\u0932\u093f\u092b \u0936\u0949 \u0914\u0930 \u0939\u0930\u094d\u092c\u0930\u094d\u091f \u0938\u093e\u0907\u092e\u0928 \u0926\u094d\u0935\u093e\u0930\u093e \u0921\u093f\u091c\u093e\u0907\u0928 \u0915\u093f\u092f\u093e \u0917\u092f\u093e \u090f\u0915 \u0915\u093e\u0930\u094d\u092f\u0915\u094d\u0930\u092e \u0925\u093e\u0964 \u092f\u0939 \u0915\u093e\u0930\u094d\u092f\u0915\u094d\u0930\u092e \u092a\u094d\u0930\u093f\u0902\u0938\u093f\u092a\u093f\u092f\u093e \u092e\u0948\u0925\u092e\u0948\u091f\u093f\u0915\u093e \u0938\u0947 \u092a\u094d\u0930\u092e\u0947\u092f\u094b\u0902 \u0915\u094b \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u0938\u0915\u094d\u0937\u092e \u0925\u093e, \u091c\u094b \u092a\u094d\u0930\u092d\u093e\u0935\u0940 \u0930\u0942\u092a \u0938\u0947 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u0947 \u092f\u0941\u0917 \u0915\u0940 \u0936\u0941\u0930\u0941\u0906\u0924 \u0915\u0930\u0924\u093e \u0925\u093e\u0964<\/p>\n<p>1958 \u092e\u0947\u0902, \u091c\u0949\u0928 \u092e\u0948\u0915\u094d\u0915\u093e\u0930\u094d\u0925\u0940 \u0928\u0947 \u092a\u0939\u0932\u0940 \u092a\u094d\u0930\u094b\u0917\u094d\u0930\u093e\u092e\u093f\u0902\u0917 \u092d\u093e\u0937\u093e \u0932\u093f\u0938\u094d\u092a \u092a\u0947\u0936 \u0915\u0940, \u091c\u093f\u0938\u0915\u0947 \u092e\u0942\u0932 \u092e\u0947\u0902 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0936\u093e\u092e\u093f\u0932 \u0925\u093e\u0964 \u0907\u0938\u0915\u0947 \u092c\u093e\u0926, 1960 \u0914\u0930 1970 \u0915\u0947 \u0926\u0936\u0915 \u092e\u0947\u0902, \u090f\u0906\u0908 \u0905\u0928\u0941\u0938\u0902\u0927\u093e\u0928 \u0928\u0947 \u0907\u0938 \u0905\u0935\u0927\u093e\u0930\u0923\u093e \u0915\u094b \u0914\u0930 \u092a\u0930\u093f\u0937\u094d\u0915\u0943\u0924 \u0915\u093f\u092f\u093e, \u091c\u093f\u0938\u0915\u0940 \u092a\u0930\u093f\u0923\u0924\u093f 1972 \u092e\u0947\u0902 \u092a\u0939\u0932\u0940 \u092a\u094d\u0930\u094b\u0932\u0949\u0917 \u092a\u094d\u0930\u094b\u0917\u094d\u0930\u093e\u092e\u093f\u0902\u0917 \u092d\u093e\u0937\u093e \u0915\u0947 \u0935\u093f\u0915\u093e\u0938 \u092e\u0947\u0902 \u0939\u0941\u0908, \u091c\u094b \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u092a\u0930 \u0915\u0947\u0902\u0926\u094d\u0930\u093f\u0924 \u092d\u093e\u0937\u093e \u0925\u0940\u0964<\/p>\n<h2>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u093e \u0935\u093f\u0938\u094d\u0924\u0943\u0924 \u0905\u0935\u0932\u094b\u0915\u0928<\/h2>\n<p>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u092a\u094d\u0930\u0923\u093e\u0932\u0940, \u0905\u092a\u0928\u0947 \u092e\u0942\u0932 \u092e\u0947\u0902, \u0924\u0925\u094d\u092f\u094b\u0902 \u0914\u0930 \u0928\u093f\u092f\u092e\u094b\u0902 \u0915\u0947 \u0926\u093f\u090f \u0917\u090f \u0938\u0947\u091f \u0938\u0947 \u0928\u092f\u093e \u091c\u094d\u091e\u093e\u0928 \u0928\u093f\u0915\u093e\u0932\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0924\u0930\u094d\u0915-\u0906\u0927\u093e\u0930\u093f\u0924 \u090f\u0932\u094d\u0917\u094b\u0930\u093f\u0926\u092e \u0914\u0930 \u0905\u0928\u0941\u092e\u093e\u0928 \u0932\u093e\u0917\u0942 \u0915\u0930\u0924\u0940 \u0939\u0948\u0964 \u0935\u0947 \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0905\u0928\u0941\u092e\u093e\u0928 \u0932\u0917\u093e\u0928\u0947, \u092a\u094d\u0930\u092e\u0947\u092f \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u0947 \u0914\u0930 \u0938\u092e\u0938\u094d\u092f\u093e-\u0938\u092e\u093e\u0927\u093e\u0928 \u0915\u093e\u0930\u094d\u092f \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u092e\u093e\u0939\u093f\u0930 \u0939\u0948\u0902\u0964<\/p>\n<p>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u094b \u0926\u094b \u092a\u094d\u0930\u0915\u093e\u0930\u094b\u0902 \u092e\u0947\u0902 \u0935\u093f\u092d\u093e\u091c\u093f\u0924 \u0915\u093f\u092f\u093e \u0917\u092f\u093e \u0939\u0948:<\/p>\n<ol>\n<li>\n<p>\u0928\u093f\u0917\u092e\u0928\u093e\u0924\u094d\u092e\u0915 \u0924\u0930\u094d\u0915: \u0907\u0938\u092e\u0947\u0902 \u0926\u093f\u090f \u0917\u090f \u092a\u0930\u093f\u0938\u0930 \u0938\u0947 \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0930\u0942\u092a \u0938\u0947 \u0915\u0941\u091b \u0928\u093f\u0937\u094d\u0915\u0930\u094d\u0937 \u0928\u093f\u0915\u093e\u0932\u0928\u093e \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0964 \u0909\u0926\u093e\u0939\u0930\u0923 \u0915\u0947 \u0932\u093f\u090f, \u092f\u0926\u093f \u0938\u092d\u0940 \u0938\u0947\u092c \u092b\u0932 \u0939\u0948\u0902, \u0914\u0930 \u0917\u094d\u0930\u0948\u0928\u0940 \u0938\u094d\u092e\u093f\u0925 \u090f\u0915 \u0938\u0947\u092c \u0939\u0948, \u0924\u094b \u0928\u093f\u0917\u092e\u0928\u093e\u0924\u094d\u092e\u0915 \u0924\u0930\u094d\u0915 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0928\u0947 \u0935\u093e\u0932\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u0940 \u092f\u0939 \u0928\u093f\u0937\u094d\u0915\u0930\u094d\u0937 \u0928\u093f\u0915\u093e\u0932\u0947\u0917\u0940 \u0915\u093f \u0917\u094d\u0930\u0948\u0928\u0940 \u0938\u094d\u092e\u093f\u0925 \u090f\u0915 \u092b\u0932 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p>\u0906\u0917\u092e\u0928\u093e\u0924\u094d\u092e\u0915 \u0924\u0930\u094d\u0915: \u0907\u0938\u092e\u0947\u0902 \u0926\u0947\u0916\u0947 \u0917\u090f \u0909\u0926\u093e\u0939\u0930\u0923\u094b\u0902 \u0915\u0947 \u0906\u0927\u093e\u0930 \u092a\u0930 \u0938\u093e\u092e\u093e\u0928\u094d\u092f \u0928\u093f\u092f\u092e \u092c\u0928\u093e\u0928\u093e \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0964 \u0909\u0926\u093e\u0939\u0930\u0923 \u0915\u0947 \u0932\u093f\u090f, \u0938\u092b\u0947\u0926 \u0939\u0902\u0938\u094b\u0902 \u0915\u0947 \u0938\u0948\u0915\u0921\u093c\u094b\u0902 \u0909\u0926\u093e\u0939\u0930\u0923 \u0926\u0947\u0916\u0928\u0947 \u0915\u0947 \u092c\u093e\u0926, \u0906\u0917\u092e\u0928\u093e\u0924\u094d\u092e\u0915 \u0924\u0930\u094d\u0915 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0928\u0947 \u0935\u093e\u0932\u0940 \u090f\u0915 \u092a\u094d\u0930\u0923\u093e\u0932\u0940 \u092f\u0939 \u0905\u0928\u0941\u092e\u093e\u0928 \u0932\u0917\u093e\u090f\u0917\u0940 \u0915\u093f \u0938\u092d\u0940 \u0939\u0902\u0938 \u0938\u092b\u0947\u0926 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u0940 \u0906\u0902\u0924\u0930\u093f\u0915 \u0938\u0902\u0930\u091a\u0928\u093e \u0914\u0930 \u0915\u093e\u0930\u094d\u092f\u092a\u094d\u0930\u0923\u093e\u0932\u0940<\/h2>\n<p>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u092e\u0947\u0902 \u0915\u0908 \u092a\u094d\u0930\u092e\u0941\u0916 \u0918\u091f\u0915 \u0936\u093e\u092e\u093f\u0932 \u0939\u094b\u0924\u0947 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u091c\u094d\u091e\u093e\u0928\u0927\u093e\u0930<\/strong>: \u092f\u0939 \u0909\u0928 \u0928\u093f\u092f\u092e\u094b\u0902 \u0914\u0930 \u0924\u0925\u094d\u092f\u094b\u0902 \u0915\u094b \u0938\u0902\u0917\u094d\u0930\u0939\u0940\u0924 \u0915\u0930\u0924\u093e \u0939\u0948 \u091c\u093f\u0928\u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0938\u093f\u0938\u094d\u091f\u092e \u0928\u093f\u0937\u094d\u0915\u0930\u094d\u0937 \u0928\u093f\u0915\u093e\u0932\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0905\u0928\u0941\u092e\u093e\u0928 \u0907\u0902\u091c\u0928<\/strong>: \u092f\u0939 \u0928\u0908 \u091c\u093e\u0928\u0915\u093e\u0930\u0940 \u0915\u093e \u0905\u0928\u0941\u092e\u093e\u0928 \u0932\u0917\u093e\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u091c\u094d\u091e\u093e\u0928\u0915\u094b\u0937 \u092e\u0947\u0902 \u0921\u0947\u091f\u093e \u092a\u0930 \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0928\u093f\u092f\u092e \u0932\u093e\u0917\u0942 \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u094d\u0930\u092f\u094b\u0915\u094d\u0924\u093e \u0907\u0902\u091f\u0930\u092b\u093c\u0947\u0938<\/strong>: \u092f\u0939 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u0938\u093e\u0925 \u0907\u0902\u091f\u0930\u0947\u0915\u094d\u0936\u0928 \u0915\u094b \u0938\u0915\u094d\u0937\u092e \u092c\u0928\u093e\u0924\u093e \u0939\u0948, \u091c\u093f\u0938\u0938\u0947 \u0909\u092a\u092f\u094b\u0917\u0915\u0930\u094d\u0924\u093e \u0928\u090f \u0921\u0947\u091f\u093e \u0907\u0928\u092a\u0941\u091f \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902 \u0914\u0930 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u0947 \u0928\u093f\u0937\u094d\u0915\u0930\u094d\u0937 \u0926\u0947\u0916 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964<\/p>\n<\/li>\n<\/ol>\n<p>\u0938\u093f\u0938\u094d\u091f\u092e \u092a\u0939\u0932\u0947 \u090f\u0915 \u0907\u0928\u092a\u0941\u091f \u0938\u092e\u0938\u094d\u092f\u093e \u0932\u0947\u0915\u0930 \u0914\u0930 \u0909\u0938\u0947 \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092d\u093e\u0937\u093e \u092e\u0947\u0902 \u092a\u094d\u0930\u0938\u094d\u0924\u0941\u0924 \u0915\u0930\u0915\u0947 \u0915\u093e\u092e \u0915\u0930\u0924\u093e \u0939\u0948\u0964 \u0907\u0938\u0915\u0947 \u092c\u093e\u0926 \u092f\u0939 \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0928\u093f\u092f\u092e\u094b\u0902 \u0915\u094b \u0932\u093e\u0917\u0942 \u0915\u0930\u0928\u0947 \u0914\u0930 \u0928\u0908 \u091c\u093e\u0928\u0915\u093e\u0930\u0940 \u0928\u093f\u0915\u093e\u0932\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0905\u0928\u0941\u092e\u093e\u0928 \u0907\u0902\u091c\u0928 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0915\u0947 \u0905\u092a\u0928\u0947 \u091c\u094d\u091e\u093e\u0928 \u0906\u0927\u093e\u0930 \u0915\u0940 \u0916\u094b\u091c \u0915\u0930\u0924\u093e \u0939\u0948\u0964 \u0906\u0909\u091f\u092a\u0941\u091f \u0906\u092e \u0924\u094c\u0930 \u092a\u0930 \u0907\u0928\u092a\u0941\u091f \u0938\u092e\u0938\u094d\u092f\u093e \u0915\u093e \u0938\u092e\u093e\u0927\u093e\u0928 \u092f\u093e \u0907\u0928\u092a\u0941\u091f \u0921\u0947\u091f\u093e \u0915\u0947 \u0906\u0927\u093e\u0930 \u092a\u0930 \u0928\u093f\u0937\u094d\u0915\u0930\u094d\u0937\u094b\u0902 \u0915\u093e \u090f\u0915 \u0938\u0947\u091f \u0939\u094b\u0924\u093e \u0939\u0948\u0964<\/p>\n<h2>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u0940 \u092e\u0941\u0916\u094d\u092f \u0935\u093f\u0936\u0947\u0937\u0924\u093e\u090f\u0902<\/h2>\n<p>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u092e\u0947\u0902 \u0915\u0908 \u0935\u093f\u0936\u093f\u0937\u094d\u091f \u0935\u093f\u0936\u0947\u0937\u0924\u093e\u090f\u0902 \u0939\u0948\u0902 \u091c\u094b \u0907\u0938\u0947 \u0905\u0932\u0917 \u0915\u0930\u0924\u0940 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0924\u0930\u094d\u0915<\/strong>: \u092f\u0939 \u0938\u092e\u0938\u094d\u092f\u093e \u092a\u094d\u0930\u0924\u093f\u0928\u093f\u0927\u093f\u0924\u094d\u0935 \u0914\u0930 \u0915\u091f\u094c\u0924\u0940 \u0915\u0947 \u0932\u093f\u090f \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092d\u093e\u0937\u093e\u0913\u0902 \u0914\u0930 \u0924\u0930\u094d\u0915 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0905\u0928\u0941\u092e\u093e\u0928<\/strong>: \u092f\u0939 \u092e\u093e\u0928\u0935\u0940\u092f \u0939\u0938\u094d\u0924\u0915\u094d\u0937\u0947\u092a \u0915\u0947 \u092c\u093f\u0928\u093e \u0928\u093f\u0937\u094d\u0915\u0930\u094d\u0937 \u0928\u093f\u0915\u093e\u0932\u0928\u0947 \u092f\u093e \u0938\u092e\u0938\u094d\u092f\u093e\u0913\u0902 \u0915\u094b \u0939\u0932 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u0938\u0915\u094d\u0937\u092e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u093e\u092e\u093e\u0928\u094d\u092f\u0940\u0915\u0930\u0923<\/strong>: \u090f\u0915 \u0939\u0940 \u092a\u094d\u0930\u0923\u093e\u0932\u0940 \u0935\u093f\u092d\u093f\u0928\u094d\u0928 \u0928\u093f\u092f\u092e\u094b\u0902 \u0914\u0930 \u0924\u0925\u094d\u092f\u094b\u0902 \u0915\u094b \u0926\u0947\u0916\u0924\u0947 \u0939\u0941\u090f \u0935\u093f\u092d\u093f\u0928\u094d\u0928 \u0938\u092e\u0938\u094d\u092f\u093e\u0913\u0902 \u0915\u093e \u0938\u092e\u093e\u0927\u093e\u0928 \u0915\u0930 \u0938\u0915\u0924\u0940 \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0938\u094d\u0925\u093f\u0930\u0924\u093e<\/strong>: \u092f\u0939 \u0905\u092a\u0928\u0947 \u0924\u0930\u094d\u0915 \u092e\u0947\u0902 \u0928\u093f\u0930\u0902\u0924\u0930\u0924\u093e \u092c\u0928\u093e\u090f \u0930\u0916\u0924\u093e \u0939\u0948, \u091c\u094d\u091e\u093e\u0928 \u0915\u0947 \u0906\u0927\u093e\u0930 \u092e\u0947\u0902 \u0935\u093f\u0930\u094b\u0927\u093e\u092d\u093e\u0938\u094b\u0902 \u0915\u094b \u0930\u094b\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<\/ol>\n<h2>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u0947 \u092a\u094d\u0930\u0915\u093e\u0930<\/h2>\n<p>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u094b \u0909\u0928\u0915\u0940 \u0924\u0930\u094d\u0915 \u0936\u0948\u0932\u0940 \u0914\u0930 \u0909\u0928\u0915\u0947 \u0926\u094d\u0935\u093e\u0930\u093e \u0928\u093f\u092a\u091f\u093e\u0908 \u091c\u093e\u0928\u0947 \u0935\u093e\u0932\u0940 \u0938\u092e\u0938\u094d\u092f\u093e\u0913\u0902 \u0915\u0947 \u092a\u094d\u0930\u0915\u093e\u0930 \u0915\u0947 \u0906\u0927\u093e\u0930 \u092a\u0930 \u0935\u0930\u094d\u0917\u0940\u0915\u0943\u0924 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964 \u092f\u0939\u093e\u0902 \u0915\u0941\u091b \u092a\u094d\u0930\u0915\u093e\u0930\u094b\u0902 \u0915\u093e \u0938\u093e\u0930\u093e\u0902\u0936 \u0926\u0947\u0928\u0947 \u0935\u093e\u0932\u0940 \u090f\u0915 \u0938\u0902\u0915\u094d\u0937\u093f\u092a\u094d\u0924 \u0924\u093e\u0932\u093f\u0915\u093e \u0926\u0940 \u0917\u0908 \u0939\u0948:<\/p>\n<table>\n<thead>\n<tr>\n<th style=\"text-align: center;\">\u092a\u094d\u0930\u0915\u093e\u0930<\/th>\n<th style=\"text-align: center;\">\u0935\u093f\u0935\u0930\u0923<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td style=\"text-align: center;\">\u0928\u093f\u0917\u092e\u0928\u093e\u0924\u094d\u092e\u0915 \u0924\u0930\u094d\u0915 \u092a\u094d\u0930\u0923\u093e\u0932\u0940<\/td>\n<td style=\"text-align: center;\">\u0935\u0947 \u0915\u093f\u0938\u0940 \u0926\u093f\u090f \u0917\u090f \u092a\u0930\u093f\u0938\u0930 \u0938\u0947 \u0915\u0941\u091b \u0928\u093f\u0937\u094d\u0915\u0930\u094d\u0937 \u0928\u093f\u0915\u093e\u0932\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0915\u091f\u094c\u0924\u0940 \u0932\u093e\u0917\u0942 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902\u0964<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u0906\u0917\u092e\u0928\u093e\u0924\u094d\u092e\u0915 \u0924\u0930\u094d\u0915 \u092a\u094d\u0930\u0923\u093e\u0932\u0940<\/td>\n<td style=\"text-align: center;\">\u0935\u0947 \u0935\u093f\u0936\u093f\u0937\u094d\u091f \u0926\u0947\u0916\u0947 \u0917\u090f \u0909\u0926\u093e\u0939\u0930\u0923\u094b\u0902 \u0915\u0947 \u0906\u0927\u093e\u0930 \u092a\u0930 \u0938\u093e\u092e\u093e\u0928\u094d\u092f \u0928\u093f\u092f\u092e \u092c\u0928\u093e\u0924\u0947 \u0939\u0948\u0902\u0964<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u0905\u092a\u0939\u0930\u0923\u093e\u0924\u094d\u092e\u0915 \u0924\u0930\u094d\u0915 \u092a\u094d\u0930\u0923\u093e\u0932\u0940<\/td>\n<td style=\"text-align: center;\">\u0935\u0947 \u0909\u092a\u0932\u092c\u094d\u0927 \u0938\u093e\u0915\u094d\u0937\u094d\u092f\u094b\u0902 \u0915\u0947 \u0906\u0927\u093e\u0930 \u092a\u0930 \u0936\u093f\u0915\u094d\u0937\u093f\u0924 \u0905\u0928\u0941\u092e\u093e\u0928 \u092f\u093e \u092a\u0930\u093f\u0915\u0932\u094d\u092a\u0928\u093e \u092c\u0928\u093e\u0924\u0947 \u0939\u0948\u0902\u0964<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u092c\u093e\u0927\u093e \u0915\u093e \u0938\u092e\u093e\u0927\u093e\u0928<\/td>\n<td style=\"text-align: center;\">\u0935\u0947 \u0910\u0938\u0947 \u0938\u092e\u093e\u0927\u093e\u0928 \u0922\u0942\u0902\u0922\u0924\u0947 \u0939\u0948\u0902 \u091c\u094b \u0915\u0908 \u092c\u093e\u0927\u093e\u0913\u0902 \u0915\u094b \u092a\u0942\u0930\u093e \u0915\u0930\u0924\u0947 \u0939\u0948\u0902\u0964<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u092e\u0949\u0921\u0932 \u091c\u093e\u0901\u091a<\/td>\n<td style=\"text-align: center;\">\u0935\u0947 \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902 \u0915\u093f \u0915\u094d\u092f\u093e \u0938\u093f\u0938\u094d\u091f\u092e \u092e\u0949\u0921\u0932 \u0928\u093f\u0930\u094d\u0926\u093f\u0937\u094d\u091f \u0906\u0935\u0936\u094d\u092f\u0915\u0924\u093e\u0913\u0902 \u0915\u0947 \u090f\u0915 \u0938\u0947\u091f \u0915\u094b \u092a\u0942\u0930\u093e \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u0947 \u092e\u093e\u092e\u0932\u094b\u0902 \u0914\u0930 \u091a\u0941\u0928\u094c\u0924\u093f\u092f\u094b\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0947\u0902<\/h2>\n<p>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u0947 \u0935\u093f\u0935\u093f\u0927 \u0905\u0928\u0941\u092a\u094d\u0930\u092f\u094b\u0917 \u0939\u0948\u0902, \u091c\u093f\u0928\u092e\u0947\u0902 \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0902:<\/p>\n<ol>\n<li>\n<p><strong>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u092a\u094d\u0930\u092e\u0947\u092f \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u093e<\/strong>: \u0917\u0923\u093f\u0924 \u092e\u0947\u0902 \u0907\u0938\u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u092a\u094d\u0930\u092e\u0947\u092f\u094b\u0902 \u0915\u094b \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0930\u0942\u092a \u0938\u0947 \u0938\u093f\u0926\u094d\u0927 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u092a\u094d\u0930\u094b\u0917\u094d\u0930\u093e\u092e\u093f\u0902\u0917 \u092d\u093e\u0937\u093e \u0936\u092c\u094d\u0926\u093e\u0930\u094d\u0925<\/strong>: \u092f\u0939 \u0938\u0941\u0928\u093f\u0936\u094d\u091a\u093f\u0924 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u092e\u0926\u0926 \u0915\u0930 \u0938\u0915\u0924\u093e \u0939\u0948 \u0915\u093f \u092a\u094d\u0930\u094b\u0917\u094d\u0930\u093e\u092e \u0905\u092a\u0928\u0947 \u0936\u092c\u094d\u0926\u093e\u0930\u094d\u0925 \u0915\u0940 \u091c\u093e\u0901\u091a \u0915\u0930\u0915\u0947 \u0907\u091a\u094d\u091b\u093f\u0924 \u0935\u094d\u092f\u0935\u0939\u093e\u0930 \u0915\u0930\u0947\u0902\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u0938\u0924\u094d\u092f\u093e\u092a\u0928<\/strong>: \u0907\u0938\u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0939\u093e\u0930\u094d\u0921\u0935\u0947\u092f\u0930 \u0914\u0930 \u0938\u0949\u092b\u094d\u091f\u0935\u0947\u092f\u0930 \u0921\u093f\u091c\u093c\u093e\u0907\u0928 \u0915\u0940 \u0936\u0941\u0926\u094d\u0927\u0924\u093e \u0915\u094b \u0938\u0924\u094d\u092f\u093e\u092a\u093f\u0924 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<\/li>\n<li>\n<p><strong>\u090f\u0906\u0908 \u0914\u0930 \u092e\u0936\u0940\u0928 \u0932\u0930\u094d\u0928\u093f\u0902\u0917<\/strong>: \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u090f\u0906\u0908 \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u093e \u0905\u092d\u093f\u0928\u094d\u0928 \u0905\u0902\u0917 \u0939\u0948, \u0935\u093f\u0936\u0947\u0937 \u0930\u0942\u092a \u0938\u0947 \u0928\u093f\u0930\u094d\u0923\u092f \u0932\u0947\u0928\u0947 \u0915\u0940 \u092a\u094d\u0930\u0915\u094d\u0930\u093f\u092f\u093e\u0913\u0902 \u092e\u0947\u0902\u0964<\/p>\n<\/li>\n<\/ol>\n<p>\u0939\u093e\u0932\u093e\u0901\u0915\u093f, \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u091a\u0941\u0928\u094c\u0924\u093f\u092f\u094b\u0902 \u0938\u0947 \u0930\u0939\u093f\u0924 \u0928\u0939\u0940\u0902 \u0939\u0948\u0964 \u0907\u0928\u092e\u0947\u0902 \u0935\u093e\u0938\u094d\u0924\u0935\u093f\u0915 \u0926\u0941\u0928\u093f\u092f\u093e \u0915\u0940 \u0938\u092e\u0938\u094d\u092f\u093e\u0913\u0902 \u0915\u094b \u0914\u092a\u091a\u093e\u0930\u093f\u0915 \u092d\u093e\u0937\u093e \u092e\u0947\u0902 \u090f\u0928\u094d\u0915\u094b\u0921 \u0915\u0930\u0928\u0947 \u0915\u0940 \u0915\u0920\u093f\u0928\u093e\u0908 \u0914\u0930 \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0905\u0928\u0941\u092e\u093e\u0928 \u0915\u0940 \u0915\u092e\u094d\u092a\u094d\u092f\u0942\u091f\u0947\u0936\u0928\u0932 \u0924\u0940\u0935\u094d\u0930\u0924\u093e \u0936\u093e\u092e\u093f\u0932 \u0939\u0948\u0964 \u0907\u0928 \u091a\u0941\u0928\u094c\u0924\u093f\u092f\u094b\u0902 \u0915\u094b \u0915\u092e \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0905\u0928\u0941\u092e\u093e\u0928-\u0928\u093f\u0930\u094d\u0926\u0947\u0936\u093f\u0924 \u0916\u094b\u091c \u0914\u0930 \u092c\u093e\u0927\u093e \u0938\u0902\u0924\u0941\u0937\u094d\u091f\u093f \u091c\u0948\u0938\u0940 \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u093f\u092f\u093e \u091c\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<h2>\u0938\u092e\u093e\u0928 \u0936\u0930\u094d\u0924\u094b\u0902 \u0915\u0947 \u0938\u093e\u0925 \u0924\u0941\u0932\u0928\u093e<\/h2>\n<table>\n<thead>\n<tr>\n<th style=\"text-align: center;\">\u0905\u0935\u0927\u093f<\/th>\n<th style=\"text-align: center;\">\u0935\u093f\u0935\u0930\u0923<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td style=\"text-align: center;\">\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915<\/td>\n<td style=\"text-align: center;\">\u090f\u0906\u0908 \u0909\u092a\u0915\u094d\u0937\u0947\u0924\u094d\u0930 \u091c\u094b \u0938\u092e\u0938\u094d\u092f\u093e\u0913\u0902 \u0915\u094b \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0930\u0942\u092a \u0938\u0947 \u0939\u0932 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0924\u0930\u094d\u0915 \u0914\u0930 \u0905\u0928\u0941\u092e\u093e\u0928 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u092f\u0902\u0924\u094d\u0930 \u0905\u0927\u093f\u0917\u092e<\/td>\n<td style=\"text-align: center;\">\u090f\u0906\u0908 \u0909\u092a\u0915\u094d\u0937\u0947\u0924\u094d\u0930 \u091c\u094b \u092e\u0936\u0940\u0928\u094b\u0902 \u0915\u094b \u0921\u0947\u091f\u093e \u0938\u0947 \u0938\u0940\u0916\u0928\u0947 \u092e\u0947\u0902 \u0938\u0915\u094d\u0937\u092e \u092c\u0928\u093e\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0938\u093e\u0902\u0916\u094d\u092f\u093f\u0915\u0940\u092f \u0924\u0930\u0940\u0915\u094b\u0902 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u0935\u093f\u0936\u0947\u0937\u091c\u094d\u091e \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u093e\u0902<\/td>\n<td style=\"text-align: center;\">\u090f\u0906\u0908 \u0938\u093f\u0938\u094d\u091f\u092e \u091c\u094b \u092e\u093e\u0928\u0935 \u0935\u093f\u0936\u0947\u0937\u091c\u094d\u091e \u0915\u0940 \u0928\u093f\u0930\u094d\u0923\u092f \u0932\u0947\u0928\u0947 \u0915\u0940 \u0915\u094d\u0937\u092e\u0924\u093e \u0915\u0940 \u0928\u0915\u0932 \u0915\u0930\u0924\u0947 \u0939\u0948\u0902\u0964 \u0935\u0947 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u092a\u0930 \u092c\u0939\u0941\u0924 \u0905\u0927\u093f\u0915 \u092d\u0930\u094b\u0938\u093e \u0915\u0930\u0924\u0947 \u0939\u0948\u0902\u0964<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u092a\u094d\u0930\u093e\u0915\u0943\u0924\u093f\u0915 \u092d\u093e\u0937\u093e \u092a\u094d\u0930\u0938\u0902\u0938\u094d\u0915\u0930\u0923<\/td>\n<td style=\"text-align: center;\">\u090f\u0906\u0908 \u0909\u092a\u0915\u094d\u0937\u0947\u0924\u094d\u0930 \u091c\u094b \u092e\u0936\u0940\u0928\u094b\u0902 \u0915\u094b \u092e\u093e\u0928\u0935 \u092d\u093e\u0937\u093e \u0915\u094b \u0938\u092e\u091d\u0928\u0947 \u0914\u0930 \u0909\u0924\u094d\u092a\u0928\u094d\u0928 \u0915\u0930\u0928\u0947 \u092e\u0947\u0902 \u0938\u0915\u094d\u0937\u092e \u092c\u0928\u093e\u0924\u093e \u0939\u0948\u0964 \u092f\u0939 \u0938\u093f\u092e\u0947\u0902\u091f\u093f\u0915 \u0935\u093f\u0936\u094d\u0932\u0947\u0937\u0923 \u091c\u0948\u0938\u0947 \u0915\u093e\u0930\u094d\u092f\u094b\u0902 \u0915\u0947 \u0932\u093f\u090f \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930\u0924\u093e \u0939\u0948\u0964<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0938\u0947 \u0938\u0902\u092c\u0902\u0927\u093f\u0924 \u092d\u0935\u093f\u0937\u094d\u092f \u0915\u0947 \u092a\u0930\u093f\u092a\u094d\u0930\u0947\u0915\u094d\u0937\u094d\u092f \u0914\u0930 \u092a\u094d\u0930\u094c\u0926\u094d\u092f\u094b\u0917\u093f\u0915\u093f\u092f\u093e\u0901<\/h2>\n<p>\u090f\u0906\u0908 \u0914\u0930 \u0915\u0902\u092a\u094d\u092f\u0942\u091f\u093f\u0902\u0917 \u0936\u0915\u094d\u0924\u093f \u092e\u0947\u0902 \u092a\u094d\u0930\u0917\u0924\u093f \u0928\u0947 \u0905\u0927\u093f\u0915 \u092a\u0930\u093f\u0937\u094d\u0915\u0943\u0924 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0915\u0947 \u0935\u093f\u0915\u093e\u0938 \u0915\u094b \u092a\u094d\u0930\u0947\u0930\u093f\u0924 \u0915\u093f\u092f\u093e \u0939\u0948\u0964 \u0917\u0939\u0928 \u0936\u093f\u0915\u094d\u0937\u0923 \u091c\u0948\u0938\u0940 \u0924\u0915\u0928\u0940\u0915\u094b\u0902 \u0915\u094b \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u0947 \u0938\u093e\u0925 \u090f\u0915\u0940\u0915\u0943\u0924 \u0915\u093f\u092f\u093e \u091c\u093e \u0930\u0939\u093e \u0939\u0948, \u091c\u094b \u0938\u093f\u0938\u094d\u091f\u092e \u0915\u094b \u0915\u0947\u0935\u0932 \u092a\u0942\u0930\u094d\u0935-\u0928\u093f\u0930\u094d\u0927\u093e\u0930\u093f\u0924 \u0928\u093f\u092f\u092e\u094b\u0902 \u092a\u0930 \u0928\u093f\u0930\u094d\u092d\u0930 \u0930\u0939\u0928\u0947 \u0915\u0947 \u092c\u091c\u093e\u092f \u0924\u0930\u094d\u0915 \u0915\u0930\u0928\u093e \u0938\u0940\u0916\u0928\u0947 \u092e\u0947\u0902 \u0938\u0915\u094d\u0937\u092e \u092c\u0928\u093e\u0924\u093e \u0939\u0948\u0964<\/p>\n<p>\u0906\u0917\u0947 \u0926\u0947\u0916\u0924\u0947 \u0939\u0941\u090f, \u0939\u092e \u0938\u094d\u0935\u093e\u092f\u0924\u094d\u0924 \u0935\u093e\u0939\u0928\u094b\u0902 \u0938\u0947 \u0932\u0947\u0915\u0930 \u0909\u0928\u094d\u0928\u0924 \u0928\u093f\u0930\u094d\u0923\u092f \u0938\u092e\u0930\u094d\u0925\u0928 \u092a\u094d\u0930\u0923\u093e\u0932\u093f\u092f\u094b\u0902 \u0924\u0915, \u090f\u0906\u0908 \u0915\u0947 \u092d\u0935\u093f\u0937\u094d\u092f \u092e\u0947\u0902 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u094b \u0924\u0947\u091c\u0940 \u0938\u0947 \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u092d\u0942\u092e\u093f\u0915\u093e \u0928\u093f\u092d\u093e\u0924\u0947 \u0939\u0941\u090f \u0926\u0947\u0916\u0928\u0947 \u0915\u0940 \u0909\u092e\u094d\u092e\u0940\u0926 \u0915\u0930 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902\u0964 \u0907\u0938\u0915\u0947 \u0905\u0924\u093f\u0930\u093f\u0915\u094d\u0924, \u0915\u094d\u0935\u093e\u0902\u091f\u092e \u0915\u0902\u092a\u094d\u092f\u0942\u091f\u093f\u0902\u0917 \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0905\u0928\u0941\u092e\u093e\u0928 \u0915\u0940 \u0917\u0924\u093f \u0915\u094b \u092e\u0939\u0924\u094d\u0935\u092a\u0942\u0930\u094d\u0923 \u0930\u0942\u092a \u0938\u0947 \u092c\u0922\u093c\u093e\u0915\u0930 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u092e\u0947\u0902 \u0915\u094d\u0930\u093e\u0902\u0924\u093f \u0932\u093e \u0938\u0915\u0924\u0940 \u0939\u0948\u0964<\/p>\n<h2>\u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0914\u0930 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0930\u0940\u091c\u093c\u0928\u093f\u0902\u0917<\/h2>\n<p>\u0939\u093e\u0932\u093e\u0902\u0915\u093f \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0914\u0930 \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0905\u0938\u0902\u092c\u0902\u0927\u093f\u0924 \u0932\u0917 \u0938\u0915\u0924\u0947 \u0939\u0948\u0902, \u0909\u0928\u094d\u0939\u0947\u0902 \u0935\u093f\u0936\u093f\u0937\u094d\u091f \u0938\u0902\u0926\u0930\u094d\u092d\u094b\u0902 \u092e\u0947\u0902 \u092a\u0930\u0938\u094d\u092a\u0930 \u091c\u094b\u0921\u093c\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964 \u0909\u0926\u093e\u0939\u0930\u0923 \u0915\u0947 \u0932\u093f\u090f, \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u094b \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0915\u0947 \u0917\u0924\u093f\u0936\u0940\u0932 \u091a\u092f\u0928 \u092e\u0947\u0902 \u0928\u093f\u092f\u094b\u091c\u093f\u0924 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948, \u091c\u0939\u093e\u0902 \u0938\u093f\u0938\u094d\u091f\u092e \u0917\u0924\u093f, \u0938\u094d\u0925\u093e\u0928 \u0914\u0930 \u0935\u093f\u0936\u094d\u0935\u0938\u0928\u0940\u092f\u0924\u093e \u091c\u0948\u0938\u0947 \u0915\u093e\u0930\u0915\u094b\u0902 \u0915\u0947 \u0906\u0927\u093e\u0930 \u092a\u0930 \u0938\u092c\u0938\u0947 \u0915\u0941\u0936\u0932 \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0915\u093e \u091a\u092f\u0928 \u0915\u0930\u0928\u0947 \u0915\u0947 \u0932\u093f\u090f \u0924\u093e\u0930\u094d\u0915\u093f\u0915 \u0905\u0928\u0941\u092e\u093e\u0928 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u0915\u0930 \u0938\u0915\u0924\u093e \u0939\u0948\u0964 \u0907\u0938\u0915\u0947 \u0905\u0924\u093f\u0930\u093f\u0915\u094d\u0924, \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u093e \u0909\u092a\u092f\u094b\u0917 \u092a\u094d\u0930\u0949\u0915\u094d\u0938\u0940 \u0938\u0930\u094d\u0935\u0930 \u0915\u0947 \u0938\u093e\u0907\u092c\u0930 \u0938\u0941\u0930\u0915\u094d\u0937\u093e \u092a\u0939\u0932\u0941\u0913\u0902, \u0935\u093f\u0938\u0902\u0917\u0924\u093f\u092f\u094b\u0902 \u0914\u0930 \u0938\u0902\u092d\u093e\u0935\u093f\u0924 \u0916\u0924\u0930\u094b\u0902 \u0915\u093e \u092a\u0924\u093e \u0932\u0917\u093e\u0928\u0947 \u092e\u0947\u0902 \u092d\u0940 \u0915\u093f\u092f\u093e \u091c\u093e \u0938\u0915\u0924\u093e \u0939\u0948\u0964<\/p>\n<h2>\u0938\u092e\u094d\u092c\u0902\u0927\u093f\u0924 \u0932\u093f\u0902\u0915\u094d\u0938<\/h2>\n<ul>\n<li><a href=\"https:\/\/plato.stanford.edu\/entries\/reasoning-automated\/\" target=\"_new\" rel=\"noopener nofollow\">\u0938\u094d\u091f\u0948\u0928\u092b\u094b\u0930\u094d\u0921 \u0907\u0928\u0938\u093e\u0907\u0915\u094d\u0932\u094b\u092a\u0940\u0921\u093f\u092f\u093e \u0911\u092b \u092b\u093f\u0932\u0949\u0938\u092b\u0940 - \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915<\/a><\/li>\n<li><a href=\"http:\/\/aar.inf.ethz.ch\/\" target=\"_new\" rel=\"noopener nofollow\">\u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915 \u0915\u093e \u0938\u0902\u0918<\/a><\/li>\n<li><a href=\"https:\/\/ocw.mit.edu\/courses\/electrical-engineering-and-computer-science\/6-825-techniques-in-artificial-intelligence-sma-5504-fall-2002\/lecture-notes\/Lecture20FinalProjects.pdf\" target=\"_new\" rel=\"noopener nofollow\">\u090f\u092e\u0906\u0908\u091f\u0940 \u0913\u092a\u0928\u0915\u094b\u0930\u094d\u0938\u0935\u0947\u092f\u0930 - \u0938\u094d\u0935\u091a\u093e\u0932\u093f\u0924 \u0924\u0930\u094d\u0915<\/a><\/li>\n<\/ul>","protected":false},"featured_media":0,"menu_order":0,"template":"","meta":{"_acf_changed":false,"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-475947","wiki","type-wiki","status-publish","hentry"],"acf":{"faq_title":"Frequently Asked Questions about <mark>Automated Reasoning: Harnessing Logic for Efficient Computing<\/mark>","faq_items":[{"question":"What is Automated Reasoning?","answer":"<p>Automated reasoning is an area in artificial intelligence and computer science that uses logic and heuristics to solve problems, prove theorems, and make deductions or predictions. The technique fundamentally involves building systems capable of deriving conclusions from a set of premises automatically.<\/p>"},{"question":"Who were the pioneers in the field of Automated Reasoning?","answer":"<p>The first known inference engine was built as part of the Logic Theorist, a program designed by Allen Newell, Cliff Shaw, and Herbert Simon in 1955. John McCarthy also played a significant role with the introduction of Lisp in 1958, which incorporated automated reasoning.<\/p>"},{"question":"What are the key components of an Automated Reasoning system?","answer":"<p>Automated reasoning systems are typically composed of a Knowledge Base that stores the rules and facts, an Inference Engine that applies logical rules to the data in the knowledge base, and a User Interface that allows users to interact with the system.<\/p>"},{"question":"What are the key features of Automated Reasoning?","answer":"<p>Key features of automated reasoning include the use of formal logic for problem representation and deduction, capability of deriving conclusions or solving problems without human intervention, generalizability to solve different problems, and maintaining consistency in its reasoning.<\/p>"},{"question":"What are some types of Automated Reasoning systems?","answer":"<p>Automated reasoning systems can be categorized into deductive reasoning systems, inductive reasoning systems, abductive reasoning systems, constraint solving, and model checking.<\/p>"},{"question":"What are the applications of Automated Reasoning?","answer":"<p>Automated reasoning is used in automated theorem proving, programming language semantics, formal verification, and in various AI and machine learning processes.<\/p>"},{"question":"What challenges does Automated Reasoning face?","answer":"<p>Challenges in automated reasoning include the difficulty of encoding real-world problems into a formal language and the computational intensity of logical inference.<\/p>"},{"question":"How are proxy servers associated with Automated Reasoning?","answer":"<p>Automated reasoning can be employed in the dynamic selection of proxies, where the system could use logical inference to select the most efficient proxy based on factors like speed, location, and reliability. Automated reasoning can also be utilized in the cybersecurity aspects of proxy servers, detecting anomalies and potential threats.<\/p>"},{"question":"What are some future perspectives related to Automated Reasoning?","answer":"<p>Future advancements in AI and computing power have propelled the development of more sophisticated automated reasoning systems. Techniques like deep learning are being integrated with automated reasoning. Additionally, quantum computing could revolutionize automated reasoning by significantly increasing the speed of logical inference.<\/p>"},{"question":"Where can I find more information on Automated Reasoning?","answer":"<p>You can find more information on Automated Reasoning on the <a href=\"https:\/\/plato.stanford.edu\/entries\/reasoning-automated\/\" target=\"_new\">Stanford Encyclopedia of Philosophy<\/a>, the <a href=\"http:\/\/aar.inf.ethz.ch\/\" target=\"_new\">Association of Automated Reasoning<\/a>, and <a href=\"https:\/\/ocw.mit.edu\/courses\/electrical-engineering-and-computer-science\/6-825-techniques-in-artificial-intelligence-sma-5504-fall-2002\/lecture-notes\/Lecture20FinalProjects.pdf\" target=\"_new\">MIT OpenCourseWare<\/a>.<\/p>"}]},"_links":{"self":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/wiki\/475947","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/wiki"}],"about":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/types\/wiki"}],"version-history":[{"count":0,"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/wiki\/475947\/revisions"}],"wp:attachment":[{"href":"https:\/\/oneproxy.pro\/in\/wp-json\/wp\/v2\/media?parent=475947"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}