关于cs3231“automata theory and formal languages”和
cs3234 "logic and formal systems"的难度比较一下，看那一门比较好学。