推 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)