Những logic toán học quan trọng nhất của cnooc bao gồm