Tag Tag Mathematical reasoning

Works

Edsger Dijkstra · 1984
On the Nature of Computing Science

An argument for computing science as a formal mathematical discipline, centred on effective reasoning, simplicity and elegance.

Related Tags