一个好的策略是找到一个非形式的证明然后试着形式化它。


一个好的策略是找到一个非形式的证明然后试着形式化它。

A.对

B.错

正确答案:对


Tag:形式 策略 时间:2024-01-14 20:05:03