CS博士考Qualufy，理论部分最难的是证明论中的一部分，而证明论是俺本科学的，这怎么比？

所有跟帖： 

• 证明论是什么？是逻辑学？ -youdecide- ♂ (0 bytes) () 02/06/2019 postreply 20:07:30

• 逻辑三大基础之一 -skyport- ♂ (0 bytes) () 02/06/2019 postreply 20:08:28

• 什么地方cs还考证明论？ -古代的事物- ♂ (0 bytes) () 02/06/2019 postreply 20:11:20

• 理论啊，什么哥德尔不完备定理啥的 -skyport- ♂ (0 bytes) () 02/06/2019 postreply 20:12:55

• 哦，想起来了，国内学校我们cs这个 -古代的事物- ♂ (95 bytes) () 02/06/2019 postreply 20:23:09

• 头一次听过这个词 -youdecide- ♂ (0 bytes) () 02/06/2019 postreply 20:27:56

• 大学学证明论是什么专业学？数理逻辑？ -youdecide- ♂ (0 bytes) () 02/06/2019 postreply 20:12:33

• 以前在形式语言课学的post correspondence可能也属于数理逻辑 -youdecide- ♂ (0 bytes) () 02/06/2019 postreply 20:33:39

• 你也是学数学的? 太牛了. -greenoasis- ♀ (0 bytes) () 02/06/2019 postreply 20:11:00

• 你说的是诺奖和图灵奖得主西蒙创立的computing complexity这门课的内容？ -edison11- ♂ (0 bytes) () 02/06/2019 postreply 20:34:41