张明是一名计算机编程专家，李亮是一名数学家。我们知道，所有的计算机编程专家都是数学家，有些计算机编程专家不是综合型大学培养的。根据换位推理的规则，我们可以认定（    ）

A、张明并不是毕业于综合型大学的   

B、有些综合型大学培养的不是计算机编程专家

C、李亮是由综合型大学培养的   

D、有些数学家是计算机编程专家