多伦多大学MAT137课程难不难?大一CS学生必备学习经验分享

　　MAT137 注重严格的问题解决

　　如果是工程师、数学家、统计学家、物理学家或计算机科学家(当然也包括程序开发者)，在工作中几乎都会不断面对问题解决。

　　大多数人其实本来就喜欢这种挑战，而 MAT137 则让这种训练更加系统化。比如，如何解逻辑谜题?也许看过 TED-ED 关于逻辑题的视频。在文章最后，我会放一个可能出现在 MAT137 的例题。

　　这门课的核心是“通过微积分解决问题”。它所教授的其实是通用的问题解决方法，适用于各个领域。将来工作时，可能未必直接用到微积分，但一定会遇到问题需要解决。例如，在学习证明的过程中培养的细节敏感性，对我之后学习 CSC209 的指针和 CSC338 的数值算法都有帮助。

　　MAT137教授证明，并与 MAT102有重合内容

　　正如之前提到的，MAT137 的核心在于数学推理，而这种推理通常以“证明”的形式出现。证明其实就是简短的逻辑论证，既像作文，又像数学。需要像写作文一样提出论点，但同时要结合数学与文字。

　　虽然我个人对作文没什么兴趣，但证明却非常令人上瘾。解开题目的瞬间会有一种兴奋的快感。

　　无论如何，如果是计算机专业的学生，都需要学习 MAT102(如果在市中心校区则是 CSC165/CSC110，在 UTSC 则是 MATA67)。

　　MAT102 是一门证明入门课，不过内容主要集中在离散数学和集合论(不同校区内容略有差异)。

　　在 UTM，如果想进入 CS 项目，需要至少 73 分(有时甚至要 80 分，取决于年份)。MAT137 能让 MAT102 学得更轻松，这对进入专业非常有帮助。

　　这些知识对后续课程极其重要，例如 CSC236(CS 专业必修)、CSC263(对求职面试很有帮助)、CSC373(算法)以及其他课程。

　　对准备不足的学生来说可能比较困难

　　这不是恐吓，而是事实。MAT137 虽然能教到很多东西，但学习这些新内容也需要付出努力。

　　首先会遇到大量新符号。它们的目的在于压缩语言表达，让逻辑更精准，避免英语里的模糊。

　　举个例子：

　　“我想要一个巨无霸或者一个麦香鸡。”

　　如果给一个巨无霸，可以;

　　如果给一个麦香鸡，也可以;

　　但如果两样都给，就不行(暗含的意思)。

　　再看另一句：

　　“我想要一个 Nerf 玩具枪或者一些乐高。”

　　给 Nerf 可以;

　　给乐高也可以;

　　两样都给，也没问题。

　　这种 “or” 的含义差别在英语里需要依靠上下文，而在数学里必须消除歧义。因此数学选定了一种约定：后一种情况叫 “or”，前一种情况叫 “xor”。

　　对于部分学生来说，新的符号和表达方式会比较难适应，所以不要指望这门课是轻松的。

　　另一方面，它也绝不是“地狱模式”。如果积极参加助教/教授的 office hour(课外答疑时间)、提前开始做作业、紧跟课程进度，完全可以学得很好。

　　以上就是关于多伦多大学MAT137课程介绍，对于在学习中有疑问的同学，可以随时与海马课堂的7×24小时在线客服进行沟通哦。