Skip to content

Category Archives: Education

Calculational proofs are usually direct

Monday, February 11, 2008

jd2718 asked in his blog if anyone knew a direct proof of the irrationality of   . In this post I present a proof that, even if some don’t consider it direct, is a nice example of the effectiveness of calculational proof. But first, there are two concepts that need to be clarified: direct proof and [...]

Also filed in Mathematics | Tagged , , , , | Comments (10)

In Defense Of Computer Science

Wednesday, January 30, 2008

Very good post from Paper Trail:
So why study computer science? The job prospects at the end are usually pretty good - because, if nothing else, you can become a pretty good software developer fairly quickly - but they are unknown. My argument is that the study of computer science is enough of an incentive enough [...]

Also filed in Programming | Tagged , , | Comments (0)

The programmers of tomorrow

Tuesday, January 22, 2008

A recent article written by Dr. Robert B.K. Dewar and Dr. Edmond Schonberg (both from AdaCore Inc.) is generating some discussion on the state of Computer Science (CS) education in the United States. In “Computer Science Education: Where Are the Software Engineers of Tomorrow?“, Dewar and Schonberg claim that U.S. universities are training unqualified and [...]

Also filed in Algorithms, Mathematics, Methodology, Opinion, Programming | Tagged , , , , , , | Comments (13)