1-ta’rif. Agar limit mavjud va chekli bo‘lsa, bu limitga funksiyaning nuqtadagi hosilasi deyiladi (yoki yoki) kabi belgilanadi. Agar ning biror qiymatida bo‘lsa, u holda funksiya nuqtada musbat ishorali

.

Bundan, deb olib,

ekanligini topamiz, ya’ni uchun,

(3.1)

Nyuton – Leybnis formulasiga ega bo’lamiz. Odatda, (3.1) formula, integral hisobning asosiy formulasi, deb ham yuritiladi.