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