Bu matnda algoritmalar to'g'riligi haqida ma'lumotlar beriladi. Algoritmalar tuzilish jarayonida, to'g'rilikni tekshirish, algoritmni amalga oshirish va hujjatlashtirish jarayonlari haqida tushunchalar beriladi.