強調數學和證明是好事，隻是CS本科那點數學真的不難啊。。。真正難的formal verification咋沒看見呢

來源: 喀爾判0715 於 2025-09-05 08:53:06 [] [舊帖] [給我悄悄話] 閱讀數 : (0 bytes)
本帖於 2025-09-05 08:56:11 時間, 由普通用戶 喀爾判0715 編輯
請您先登陸，再發跟帖！