會參與這個計畫純粹是因為別人的推薦,除此之外還有著對數學的好奇心,好奇數學在大學會是長怎樣的,餐與過後也讓我體會到了不少。
對我而言最大的收穫與動機有著很大的重疊,讓我真正理解數學。
不過在之前,其實這部分高一學校的數學老師也幫了我不少,上了高中的數學課,我才終於了解數學中的證明與推論。儘管國中時我很常煩著不同的老師問說:"為甚麼 1+1 = 2 " 雖然這是個看似很理所當然的結論,但當我上網查詢以後,我才知道這有著複雜的證明,或是說" 越是簡單的事實,越難證明
" ,也因此我會以此煩著許多國中老師。
高中數學課中第一個也少數十分複雜的證明是 " 算術基本定理 " ,證明為甚麼每個大於1的自然數,要麼本身就是質數,要麼可以寫為2個或以上的質數的積,而且這些質因子按大小排列之後,寫法僅有一種方式。國中時就只是我們說質數的因數一定是自己還有1,但卻沒有說明原因。高中老師證明過後,我只在當下理解了,但後來我卻又忘了。然而,我卻十分享受那理解瞬間的快感。到現在我也只記得的是用矛盾正法,還有p, q互質,所以p/q是有理數,但到最後卻證明成p, q不互質,而產生矛盾,還有十分無法理解的唯一性、存在性以及良續性原則。這項證明在這門課程的"初等數論"也有提到並證明,但我到現在還是忘記整個證明的過程了,但我還記的其中的美妙。
這門課程中,我最喜歡的單元是 " 基礎數學 " 這個單元,其中最讓我著迷的一個證明是 " 自然數集合、整數集合以及有以樹集合的大小事一樣大的,而無理數以及實數集合都比他們大 ",這完全是個反直覺的證明,一定會認為說 " 自然數明明就沒有負數的部分,為甚麼跟整數集合一樣大,有理數集合的部分更難以想像了,明明可以在兩個整數中找到許多有理數啊? " 然而,這卻可以使用函數的one on one and onto 性質證明。若一個函數是一對一並滿射,或是說是映成函數,那麼定義域與值域是一樣大的。以自然數與整數為例,
存在f(x)={2x,if x>=0,
2x+1,if x<0},x為整數
這個函數很明顯是映成函數,但卻可以巧妙的把整數的人和一個數送至自然數集合中,故得證。
這個證盟即使已經一年過去了,我還是記憶猶新,還享受著那份快感。順帶一提,這個單元也是我最認真或是開始認真上課的一個單元,而且單元測驗還拿到了96的高分,錯的4分是因為多寫一個符號導致邏輯全錯。
這堂課另外一個收穫便是 " 讓我理解數學不是只有算術,還有許多精彩的邏輯推理 " 這對於一個算術非常糟糕或是數字敏感度極低的我而言,是個非常大的動力使我可以繼續練習數學中的算術,也是國小、國中以及高中數學很重要的核心。這也讓我對數學到有著希望,期待滿滿證明題的考卷。
這裡我將記錄我印象深刻的課程內容
初級班
一大堆奇怪的證明方法,一共6種
直接證、反證法、矛盾整法、窮舉法還有二個,最讓我印象深刻的是 反證法與矛盾證法的差異。考卷上有一題是要6種方法證明同一個證明,但我的反正與矛盾證法跟奔一樣,所以就錯了。但我到現在還分不太出來。
文氏圖是個不嚴謹的證明方法
雖然當時只有說結果沒有證明,但到後面我便理解到文氏圖只能證明到有理數集合的範圍,而無法證明到實數集合的範圍,因此不嚴謹。
這部分我真的不會,但之後CS好像會用到不少,十分之怕。
感覺在解一些題目的時候需要還蠻不錯得數感,所以就放過它了。
國小國中看不起的輾轉相除法其實超級厲害
第一個演算法
解模運算
模運算、模方程有點神奇
中級班
本來還在期待指標的,結果期待落空
高級班
我覺得微積分主要是難在一些邏輯證明的地方,算術的部分比較少
樂在其中
雖然這裡算術很少,但是數感要求十分高
好多的競賽題
到現在都還不會
結果我就這樣入坑了Arch
打算之後有時間在Surface Pro7上搞Linux
我真的十分感謝我自己有餐架這個課程,若是沒有參加的話,我實在無法理解數學是甚麼,我只能知道算術是甚麼。
除了感謝教授的教導,也很感謝助教們細心地回答我們的多問題。
更感謝這個計畫開啟我的數學大門
動機再強烈 數學興趣 主動性
數學的根源 想知道甚麼
"參與"
收穫 ->
根據引導 思考
對照答案的方向 (初步檢核)
大綱 -> 兩方向 { 不足 與 收穫 進展 }
結論
不足與成長 融合 動機
期待大學的收穫
排版 文件檔 證書
"目錄"
標記跟資工有關的