周庭是一名数学家，袁智是一名计算机编程专家。其实所有的编程专家都是数学家。我们知道，今天国内大多数综合型大学都在培育着计算机编程专家。 据此我们可以认定()。