MAT137 注重嚴(yán)格的問(wèn)題解決

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

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

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

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

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

　　雖然我個(gè)人對(duì)作文沒(méi)什么興趣，但證明卻非常令人上癮。解開(kāi)題目的瞬間會(huì)有一種興奮的快感。

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

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

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

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

　　對(duì)準(zhǔn)備不足的學(xué)生來(lái)說(shuō)可能比較困難

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

　　首先會(huì)遇到大量新符號(hào)。它們的目的在于壓縮語(yǔ)言表達(dá)，讓邏輯更精準(zhǔn)，避免英語(yǔ)里的模糊。

　　舉個(gè)例子：

　　“我想要一個(gè)巨無(wú)霸或者一個(gè)麥香雞。”

　　如果給一個(gè)巨無(wú)霸，可以;

　　如果給一個(gè)麥香雞，也可以;

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

　　再看另一句：

　　“我想要一個(gè) Nerf 玩具槍或者一些樂(lè)高。”

　　給 Nerf 可以;

　　給樂(lè)高也可以;

　　兩樣都給，也沒(méi)問(wèn)題。

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

　　對(duì)于部分學(xué)生來(lái)說(shuō)，新的符號(hào)和表達(dá)方式會(huì)比較難適應(yīng)，所以不要指望這門課是輕松的。

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

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