有意思（19）程序化邏輯推理或證明

戰地黃花 · 發表于 2011-9-2 09:48

有意思（19）程序化邏輯推理或證明

《高數》中“程序”化邏輯鏈典型 ——“一點導數大于0”推理

標準應用 —— （達布定理）

《線代》中“程序”化邏輯鏈典型之（1）—— “AB = 0”推理

《線代 》中“程序”化邏輯鏈典型 之（2）——“三階方陣能與對角陣相似” 推理

概率中“程序”化邏輯鏈典型 ——“分布函數法”計算程序

啊，邏輯鏈客觀存在，結果必然。無論你記還是不記，練還是不練，它們都瀅光爍爍，效用昭然。

有意思2.pdf (175.56 KB, 下載次數: 917)

{:soso_e112:}{:soso_e113:}

anpeididi · 發表于 2011-9-2 09:53

呵呵，前幾天才看到達布定理，戰地老師這就來了。。。頂一個。。。{:soso_e121:}

ssqaaaaaaaaa · 發表于 2011-9-2 10:33

這個必須頂~~~

aiai_andy · 發表于 2011-9-2 11:56

感謝老師

261095965 · 發表于 2011-9-2 12:59

謝老師{:soso_e113:}

chzx9811 · 發表于 2011-9-2 13:09

戰地老師的講座必須要頂的

百戰不殆 · 發表于 2011-9-11 21:39

困境是上帝幫你淘汰人的地方，而我將是最后站在前面淡淡微笑的人。

驀然回首@ · 發表于 2011-9-11 23:55

謝謝老師

天地水舟 · 發表于 2011-9-12 23:12

樓主把函數極限保號性解釋為“近朱者赤”，厲害啊，我復習時有這種數學感覺，但是說不出詞來形容。

dido1121 · 發表于 2011-9-25 15:29

[BAD CONTENT]

		自動登錄	找回密碼
密碼			注冊

NEW最新資料推薦