作者saltlake (SaltLake)
看板Math
標題[其他] 邏輯跟證明
時間Wed Apr 8 04:13:14 2020
提到數理邏輯,大約就是想到下面幾個基本的表達式:
甲且乙;甲或乙;若甲則乙;甲若且惟若乙等等
但是這些表達式跟協助我們證明數學命題的關係不太明
朗。比方說怎樣用邏輯表達式協助我們證明微積分、線
性代數等學科裡面的各種引理和定理? 似乎在證明的過
程當中不太能感覺用到那些邏輯表達式。
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.44.245.133 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Math/M.1586290396.A.32A.html
1F:推 Ciolos : 逆否命題證法或者反證法都會需要用到吧,要把定理轉 04/08 12:37
2F:→ Ciolos : 成邏輯表述再去找逆否命題,有時候比較好證 04/08 12:37
3F:→ chemmachine : 所有大學數學課本都是用邏輯語句堆砌而成。沒有一句 04/13 08:53
4F:→ chemmachine : 不在推理範圍。通通模仿幾何原本 04/13 08:54
5F:→ chemmachine : 數學導論有完整說明 04/13 08:54
下面這本書?
數學導論
作者: 庫蘭特,羅賓士合著
新功能介紹
出版社:水牛
新功能介紹
出版日期:1992/02/15
※ 編輯: saltlake (114.44.199.94 臺灣), 04/13/2020 19:28:17
6F:推 chemmachine : richard courant 是大師,他的書都是好的。那本書 04/13 21:11
7F:→ chemmachine : 看了一下目錄,比較偏什麼都講一些的高微不是數導。 04/13 21:11
8F:→ chemmachine : 書名英 04/13 21:11
9F:→ chemmachine : 文是what is mathemstics 數學導論是誤譯。 04/13 21:11
10F:→ chemmachine : set theory and related topics ,schaum 系列的推 04/13 21:11
11F:→ chemmachine : 薦。屬於集合 04/13 21:11
12F:→ chemmachine : 論。數導我是看a gate way to higher mathematics 04/13 21:11
13F:→ chemmachine : 這本網路上沒有。 04/13 21:11
14F:→ chemmachine : 以上兩本都有難度,自修我覺得很辛苦,因為以前上 04/13 21:11
15F:→ chemmachine : 完的感覺是”蛤” 04/13 21:11
16F:→ chemmachine : 會將peano space 講很多怪異的證 04/13 21:11
17F:→ chemmachine : 明建構實數。 數學第一第二歸納法,反證法,1對1ont 04/13 21:11
18F:→ chemmachine : o 函數 relation這些 還有well defined increasing 04/13 21:11
19F:→ chemmachine : decreasing 04/13 21:11
20F:→ chemmachine : least upper bound 這些 04/13 21:11
22F:→ chemmachine : 師大數學系的教材,其他老師有的更多,這裡重點都 04/13 21:20
23F:→ chemmachine : 提了。 04/13 21:20
25F:→ chemmachine : 清大數學系課表的那個課程名稱內容,台大最近幾年沒 04/13 21:23
26F:→ chemmachine : 開,併到高微去教了 04/13 21:23