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