这个属于计算机数学基础+抽象代数基础，对以后学数理逻辑和程序语言帮助很大。不得不说，我校虽然数学课多，但是抽象、形式化概念上培养较少，这个课程在这方面比较突出。 >>more