感觉英国式数学教育和ZG式数学教育方法正好反过来

上了12节离散数学课程以后，我发现几个很有意思的特点：

1.英国人特别强调论证的逻辑性表达，比如说：

～（m -＞ n），按照我们的写法，就等于（m and ～n），但是英国人的表达必须是：

～（m -＞ n）＝～（～m V n） （by definition）；

（～（～ m V n））＝（～（～m）and ～n）（by de morgan law）

（～（～m）and n）＝ （m and ～n）（by definition）

这和我们的教育方式正好反过来。于此相反的，英国学生甚至不知道n³-2可以化简为：（n-1）（n² + n + 1）+ 1，他们不熟悉构造立方差/和公式。总的来说，感觉他们重推理轻定理，我们重定理轻推理，甚至在考试和作业中很多时候根本不要求写定理（只要不一次跳三步以上），正好反过来。