逻辑跟离散数学。

下面几门大学里可以上：集合论，证明论，递归函数论。

如果学起来不太费劲，计算机理论基本过关了。剩下的就是编程技巧了。

所有跟帖： 

• 你能不能用 -加州阳光123- ♀ (58 bytes) () 12/25/2017 postreply 14:22:37

• Set Theory, Proof Theory, Recursive Function Theory， Discrete Ma -skyport- ♂ (31 bytes) () 12/25/2017 postreply 14:25:10

• 谢谢! : ) -加州阳光123- ♀ (0 bytes) () 12/25/2017 postreply 14:28:16

• 中文英文的我看着都差不多，嘿嘿，崇拜一下高人们 -专门注册笔名- ♀ (0 bytes) () 12/25/2017 postreply 14:40:05

• 去了解一下usaco，顺着做做，就知道要些啥了。 -傻闷登儿- ♂ (71 bytes) () 12/25/2017 postreply 14:26:06

• 谢谢! -加州阳光123- ♀ (0 bytes) () 12/25/2017 postreply 14:30:09