Ushbu referat hisoblash va isbotlashning nazariy asoslari, statistik va eksperimental ma'lumotlarni tahlil qilish hamda isbotlash metodlari haqida ma'lumot beradi. Hisoblash nazariyasi kompyuter fanining asosi sifatida algoritmlar va ularning samaradorligini tahlil qiladi