« 右目と左目 | メイン | Rick Rashid on MSR »

Math on Computer Science

"Why Universities Require Computer Science Students to Take Math," CACM, Volume 46, Issue 9 (September 2003). 抽象化と reasoning が肝

The main benefit of learning and doing mathematics is that it develops the ability to reason about formally defined abstract structures. Once we have learned how to reason precisely about one set of abstractions, it takes relatively little extra effort to reason about any others.

Discrete mathematics, especially logic, plays an implicit role in software engineering similar to the role of continuous mathematics in traditional physically based engineering disciplines. In the most general interpretation, every problem-solving activity is an application of mathematical reasoning.

トラックバック

このエントリーのトラックバックURL:
http://www.ht.sfc.keio.ac.jp/~masato/mt/mt-tb.cgi/2557

コメントを投稿

(いままで、ここでコメントしたことがないときは、コメントを表示する前にこのブログのオーナーの承認が必要になることがあります。承認されるまではコメントは表示されません。そのときはしばらく待ってください。)