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小時在線客服進行溝通哦。