MAT137 注重嚴格的問題解決

　　如果是工程師、數(shù)學家、統(tǒng)計學家、物理學家或計算機科學家(當然也包括程序開發(fā)者)，在工作中幾乎都會不斷面對問題解決。

　　大多數(shù)人其實本來就喜歡這種挑戰(zhàn)，而 MAT137 則讓這種訓練更加系統(tǒng)化。比如，如何解邏輯謎題?也許看過 TED-ED 關(guān)于邏輯題的視頻。在文章最后，我會放一個可能出現(xiàn)在 MAT137 的例題。

　　這門課的核心是“通過微積分解決問題”。它所教授的其實是通用的問題解決方法，適用于各個領(lǐng)域。將來工作時，可能未必直接用到微積分，但一定會遇到問題需要解決。例如，在學習證明的過程中培養(yǎng)的細節(jié)敏感性，對我之后學習 CSC209 的指針和 CSC338 的數(shù)值算法都有幫助。

　　MAT137教授證明，并與 MAT102有重合內(nèi)容

　　正如之前提到的，MAT137 的核心在于數(shù)學推理，而這種推理通常以“證明”的形式出現(xiàn)。證明其實就是簡短的邏輯論證，既像作文，又像數(shù)學。需要像寫作文一樣提出論點，但同時要結(jié)合數(shù)學與文字。

　　雖然我個人對作文沒什么興趣，但證明卻非常令人上癮。解開題目的瞬間會有一種興奮的快感。

　　無論如何，如果是計算機專業(yè)的學生，都需要學習 MAT102(如果在市中心校區(qū)則是 CSC165/CSC110，在 UTSC 則是 MATA67)。

　　MAT102 是一門證明入門課，不過內(nèi)容主要集中在離散數(shù)學和集合論(不同校區(qū)內(nèi)容略有差異)。

　　在 UTM，如果想進入 CS 項目，需要至少 73 分(有時甚至要 80 分，取決于年份)。MAT137 能讓 MAT102 學得更輕松，這對進入專業(yè)非常有幫助。

　　這些知識對后續(xù)課程極其重要，例如 CSC236(CS 專業(yè)必修)、CSC263(對求職面試很有幫助)、CSC373(算法)以及其他課程。

　　對準備不足的學生來說可能比較困難

　　這不是恐嚇，而是事實。MAT137 雖然能教到很多東西，但學習這些新內(nèi)容也需要付出努力。

　　首先會遇到大量新符號。它們的目的在于壓縮語言表達，讓邏輯更精準，避免英語里的模糊。

　　舉個例子：

　　“我想要一個巨無霸或者一個麥香雞。”

　　如果給一個巨無霸，可以;

　　如果給一個麥香雞，也可以;

　　但如果兩樣都給，就不行(暗含的意思)。

　　再看另一句：

　　“我想要一個 Nerf 玩具槍或者一些樂高。”

　　給 Nerf 可以;

　　給樂高也可以;

　　兩樣都給，也沒問題。

　　這種 “or” 的含義差別在英語里需要依靠上下文，而在數(shù)學里必須消除歧義。因此數(shù)學選定了一種約定：后一種情況叫 “or”，前一種情況叫 “xor”。

　　對于部分學生來說，新的符號和表達方式會比較難適應，所以不要指望這門課是輕松的。

　　另一方面，它也絕不是“地獄模式”。如果積極參加助教/教授的 office hour(課外答疑時間)、提前開始做作業(yè)、緊跟課程進度，完全可以學得很好。

　　以上就是關(guān)于多倫多大學MAT137課程介紹，對于在學習中有疑問的同學，可以隨時與海馬課堂的7×24小時在線客服進行溝通哦。