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

请您先登陆,再发跟帖!