为了讲清楚定义,必须用这些语言。但非数学系学生很少被要求用这些语言做基本工具来解决/证明问题,

来源: 2025-12-03 14:58:36 [旧帖] [给我悄悄话] 本文已被阅读: