Logic suy luận toán học và kỹ thuật đếm