為什麼這篇李華介代數鄉民發文收入到精華區：因為在李華介代數這個討論話題中，有許多相關的文章在討論，這篇最有參考價值！作者ppu12372 (高能兒)看板Math標題[問題]學習"數理邏輯"對學習數學的...
小弟念物理系
對數學的嚴謹證明很嚮往
但總覺得學校對"證明"的訓練不夠紮實
有些時候定義也沒那麼精確
前段日子自學邏輯學
對三段論,複合命題推理,歸納推理和量化命題有了基本的認識
想請問數理邏輯大概是在講甚麼??
學習之後對數學的嚴謹論證會有甚麼樣的幫助??
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.34.29.100
推 jacky7987 :我怎麼覺得沒有特別幫助QQ 01/12 23:17
→ jacky7987 :我學習這些論證很多都是訓練出來的 可以聽聽看數學系 01/12 23:18
→ jacky7987 :的高微 代數 課程看看 (我數學系也沒學過邏輯XD 01/12 23:19
推 jacky7987 :那邊會給予嚴謹的定義 定理證明 和數學的基礎知識 01/12 23:21
推 jacky7987 :數理邏輯在學什麼可能要請別人幫忙Q 01/12 23:23
推 APM99 :只要會 p=>q 跟她的等價 就夠了 01/12 23:26
→ APM99 :重點在於 '推倒過程' 而不在其他.. 01/12 23:26
推 yw1002 :google "任武義"老師的文章 01/13 04:07
我查任武義查不到人耶還是應該是"項武義"??
推 yw1002 :項武義 you got it 01/13 07:21
推 pleasure19 :可查看李華介教授的數學導論講義 01/13 07:26
推 j0958322080 :XDDDDDDD 01/13 10:08
推 recorriendo :數理邏輯就是把數學本身的語言、證明過程形式化 然後 01/13 16:31
→ recorriendo :用數學方法去分析 基本上學數學的任何分支都講求一樣 01/13 16:35
→ recorriendo :的嚴謹論證 只是數理邏輯論證的對象是數學理論本身 01/13 16:36
甚麼是形式化呀??※ 編輯: ppu12372 來自: 114.34.29.100 (01/13 17:01)