Опрецияларни текширишнинг математик усуллари