First note that ⌈x⌉−⌊x⌋={10if x is not an integer,if x is an integer.Thus for any positive integer k, ⌈log2k⌉−⌊log2k⌋={10if k not an integer power of 2,if k an integer power of 2.The integers k, 1≤k≤1000, that are integer powers of 2 are described by k=2j, 0≤j≤9. Thus k=1∑1000k(⌈log2k⌉−⌊log2k⌋)=k=1∑1000k−j=0∑92j=21000⋅1001−1023=499477.