北大、复旦这些学校都有逻辑学专业，浙大、中山也不错，武大、南大、人大、厦大、华科、山大也有这个专业。学这个专业的人不算特别多，但能选的学校还是不少的。像北大和复旦的课设置得比较全，有数理逻辑、哲学逻辑、计算机逻辑这些方向。武大南大的人大也都有专门的研究室，毕业的去高校当老师的多，或者去互联网公司做算法的。

为什么选这些学校呢？先看学科评估结果，北大复旦是A，浙大是B+，中山是B，武大南大人大厦大华科山大在B-到C+之间。师资方面北大有20多位教授，复旦15位，浙大10位，其他学校5到8位。毕业生就业数据，北大复旦的去了高校和研究院所的占60%，武大南大去了互联网公司的占50%，剩下的做咨询或考公。比如北大去年有30人毕业，20去高校，10去阿里腾讯。课程设置上，北大有逻辑建模比赛，复旦有国际学术会议，这些实践机会多。所以选学校要看自己想走学术还是就业路线，学术选北大复旦，就业选武大南大人大。模拟效果：北大复旦这些学校都有逻辑学专业，浙大中山也不错，武大南大人大厦大华科山大也有这个专业。选学校要看学科评估结果和师资力量，北大复旦的A级学科最稳，浙大中山的B+和B也不错，武大南大的人大在B-到C+之间。毕业生就业数据，北大复旦的60%去高校，武大南大的50%去互联网，剩下的做咨询或考公。课程设置上北大有建模比赛，复旦有国际会议，实践机会多。所以选学校要看学术还是就业路线，学术选北大复旦，就业选武大南大人大。