DISCRETE MATH, 如何重要?如何應用在程式?

mdw1121686

原帖由 faiko 于 19-1-2009 12:46 AM 发表
其实，math的用处，写programming上真的很多。
不过，只有在真正使用、需要的时候，我们才会appreciate它。

喔...   好的!

mdw1121686

原帖由 basic 于 19-1-2009 12:07 AM 发表
Dmath最重要是训练你 true, false的logical thinking, 有些东西学了用上都没察觉

說是這樣說啦..不過這些在還沒學discrete math時是會了
學了之後也一樣..

mdw1121686

雖然很多人都知道讀電腦要會數學..可以幫助提升邏輯等等
也有人會說未來參與複雜的程式時就會看到當中重要性..
不過多數軟件或程式, 不會數學, 也是一樣寫得出
專攻電腦語言+設計的, 或許寫出來更完整更美觀

有人可以告訴我discrete math如何重要嗎?
最好加點看得到的例子..比如甚麼軟件是會discrete math的人寫得出..而相反的寫不出等等..

faiko

不是很清楚discrete math是指什么……不过，proof theory——算是discrete math的一种吧，在automated reasoning方面都很重要。

有些automated software tools如CAD，EDA都需要这些math knowledge来写程序，一个能够诊断另外一个程序是否正确的程序。这就是所谓的software verification program。这些都是略为高阶的知识……入门容易深入难

basic

Dmath最重要是训练你 true, false的logical thinking, 有些东西学了用上都没察觉

faiko

其实，math的用处，写programming上真的很多。
不过，只有在真正使用、需要的时候，我们才会appreciate它。

斷羽鳥

写些cryptography的咚咚，应该就会用很多了 。。。

mdw1121686

原帖由 faiko 于 19-1-2009 12:22 AM 发表
不是很清楚discrete math是指什么……不过，proof theory——算是discrete math的一种吧，在automated reasoning方面都很重要。

有些automated software tools如CAD，EDA都需要这些math knowledge来写程序，一个能 ...

一个能够诊断另外一个程序是否正确的程序
原來是醬
謝謝你的例子..

leuco

基本上几时都用到. 就举几个很直接的例子:loop invariant. 如何确保它跑到第100,10000次是会取的您要的成绩?除了看成绩,可以用inductive proof ->DMath里就碰了这题目.还有是counting,也是时常接触的题目-例如说要计算到底一个recursion里接触了多少个需要重排的objects?等等等等.Dmath一般来说是比较杂和跟电脑理论有直接关系的applied math.编程的不应该只会看output来确保它是完美的. 相对的(非)直接数学证明(哪怕是非正式)也很重要.

[ 本帖最后由 leuco 于 10-2-2009 01:54 AM 编辑 ]

moronic

如果你有學functional programming,discrete math真的很重要,因為全是algorithm