Skip to content

Tag Archives: Methodology

A Calculational Proof of the Handshaking Lemma

Tuesday, April 7, 2009

In graph theory, the degree of a vertex A, d.A, is the number of edges incident with the vertex A, counting loops twice. So, considering graph 0 below, we have d.A=3, d.B=3, d.C=1, d.D=3, and d.E=2.
A well-known property is that every undirected graph contains an even number of vertices with odd degree. The result first [...]

Filed in Algorithms, Computing Science, Education, Mathematics, Methodology | Also tagged , , , , , , , , | Comments (2)

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 [...]

Filed in Algorithms, Education, Mathematics, Methodology, Opinion, Programming | Also tagged , , , , , | Comments (13)