π姓名(σ所在系＝’计算机’∧性别=’男’(学生));π姓名(σ所在系＝’计算机'(学生))∩π姓名(σ性别≠’女'(学生))