另外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

請您先登陸，再發跟帖！