數學係和SCS有聯合課題組專注於算法優化，統計係是機器學習係的共同創辦方。

來源: whaled 於 2025-09-05 08:48:55 [] [舊帖] [給我悄悄話] 閱讀數 : (0 bytes)
本帖於 2025-09-05 08:51:40 時間, 由普通用戶 whaled 編輯

所有跟帖： 

• 謝謝！ -家有高中小娃- ♂ 給 家有高中小娃 發送悄悄話 (0 bytes) () 09/05/2025 postreply 08:50:27

• 另外CMU的邏輯學也是全美頂尖，這和CS的verification係統的研究也是高度相關的。 -whaled- ♂ 給 whaled 發送悄悄話 (0 bytes) () 09/05/2025 postreply 08:50:48

• 再次感謝！ -家有高中小娃- ♂ 給 家有高中小娃 發送悄悄話 (0 bytes) () 09/05/2025 postreply 08:58:27

請您先登陸，再發跟帖！