CS3231 theory of computation是怎样的一门课？


我们supposed 从

cs3211 parallel and concurrent programming
cs3220 computer architectures
cs3234 theory of computation
cs3231 logic and fomal systems
cs3243 foundations of AI

中选2门课

我已经打算好了AI这一门了，

另一门什么比较好，好这里是指lecture比较好，syllibus也还行，没有特殊的令人头痛的地方。

并不奢求又简单又好拿分得课，因为cs 3level 基本没这种课吧，呵呵


谢谢谢谢

另外

accouting这门课怎么样？有什么group project吗？学长们一般grade是什么？

谢谢谢谢

but I still may join:P

how do you feel logic and formal systems?

also very difficult and how is your grade about that one? satifactory? thanks:)