作者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