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