另外CMU的逻辑学也是全美顶尖，这和CS的verification系统的研究也是高度相关的。

来源: whaled 于 2025-09-05 08:50:48 [] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
本帖于 2025-09-05 08:52:00 时间, 由普通用户 whaled 编辑

所有跟帖： 

• 再次感谢！ -家有高中小娃- ♂ 给 家有高中小娃 发送悄悄话 (0 bytes) () 09/05/2025 postreply 08:58:27

请您先登陆，再发跟帖！