[問題] 學習"數理邏輯"對學習數學的幫助

看板Math作者 (高能兒)時間12年前 (2014/01/12 23:10), 編輯推噓9(9推 0噓 7→)
留言16則, 8人參與, 6年前最新討論串1/2 (看更多)
小弟念物理系 對數學的嚴謹證明很嚮往 但總覺得學校對"證明"的訓練不夠紮實 有些時候定義也沒那麼精確 前段日子自學邏輯學 對三段論,複合命題推理,歸納推理和量化命題有了基本的認識 想請問數理邏輯大概是在講甚麼?? 學習之後對數學的嚴謹論證會有甚麼樣的幫助?? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.34.29.100
推
01/12 23:17, , 1F
我怎麼覺得沒有特別幫助QQ
01/12 23:17, 1F
→
01/12 23:18, , 2F
我學習這些論證很多都是訓練出來的 可以聽聽看數學系
01/12 23:18, 2F
→
01/12 23:19, , 3F
的高微 代數 課程看看 (我數學系也沒學過邏輯XD
01/12 23:19, 3F
推
01/12 23:21, , 4F
那邊會給予嚴謹的定義 定理證明 和數學的基礎知識
01/12 23:21, 4F
推
01/12 23:23, , 5F
數理邏輯在學什麼可能要請別人幫忙Q
01/12 23:23, 5F
推
01/12 23:26, , 6F
只要會 p=>q 跟她的等價 就夠了
01/12 23:26, 6F
→
01/12 23:26, , 7F
重點在於 '推倒過程' 而不在其他..
01/12 23:26, 7F
推
01/13 04:07, , 8F
google "任武義"老師的文章
01/13 04:07, 8F
我查任武義查不到人耶 還是應該是"項武義"??
推
01/13 07:21, , 9F
項武義 you got it
01/13 07:21, 9F
推
01/13 07:26, , 10F
可查看李華介教授的數學導論講義
01/13 07:26, 10F
推
01/13 10:08, , 11F
XDDDDDDD
01/13 10:08, 11F
推
01/13 16:31, , 12F
數理邏輯就是把數學本身的語言、證明過程形式化 然後
01/13 16:31, 12F
→
01/13 16:35, , 13F
用數學方法去分析 基本上學數學的任何分支都講求一樣
01/13 16:35, 13F
→
01/13 16:36, , 14F
的嚴謹論證 只是數理邏輯論證的對象是數學理論本身
01/13 16:36, 14F
甚麼是形式化呀?? ※ 編輯: ppu12372 來自: 114.34.29.100 (01/13 17:01)
→
01/02 15:39, 7年前 , 15F
數理邏輯就是把數學本身 http://yofuk.com
01/02 15:39, 15F
→
07/07 11:47, 6年前 , 16F
用數學方法去分析 基本 https://muxiv.com
07/07 11:47, 16F
‣ 更多 ppu12372 的文章
文章代碼(AID): #1Iqh1rP8 (Math)
‣ 更多 ppu12372 的文章
文章代碼(AID): #1Iqh1rP8 (Math)