Algoritmlar nazariyasi. Masalani qo’yilishi va model yaratish. Masalaning qo’yilishi bosqichlari. Dastur to’g’riligini isbotlashning eng keng tarqalgan turi – bu unitestlardan o’tkazishdir