第一次

空城计是三国演义里面的第一次北伐的。但实际上这次魏军主帅是张合，而非司马懿。

诸葛亮第二次出祁山的时候是围陈仓，攻而不可，为王双击退。

第三次诸葛亮出祁山的对手是魏国雍州刺史郭淮。 诸葛亮和司马懿的首次碰面应该是建兴八年（230）秋，魏军三路进攻汉中，司马懿走西城（陕西省安康县西北），张郃走子午谷，曹真走斜谷。