有意思（19）程序化逻辑推理或证明

战地黄花 · 发表于 2011-9-2 09:48

有意思（19）程序化逻辑推理或证明

《高数》中“程序”化逻辑链典型 ——“一点导数大于0”推理

标准应用 —— （达布定理）

《线代》中“程序”化逻辑链典型之（1）—— “AB = 0”推理

《线代 》中“程序”化逻辑链典型 之（2）——“三阶方阵能与对角阵相似” 推理

概率中“程序”化逻辑链典型 ——“分布函数法”计算程序

啊，逻辑链客观存在，结果必然。无论你记还是不记，练还是不练，它们都滢光烁烁，效用昭然。

有意思2.pdf (175.56 KB, 下载次数: 916)

{: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最新资料推荐