10xx
- 1000: Twenty-eight years
- 1003: Graphs of modest diameter and degrees
- 1006: Trip report E.W.Dijkstra, Stanford/Palo Alto, 26–29 March l987
- 1008: What computing science is about
- 1009: On a somewhat disappointing correspondence
- 1011: Introducing my fall 1987 course on Mathematical Methodology
- 1012: “Real mathematicians don’t prove”
- 1013: Position paper on “fairness”
- 1014: A monotonicity argument revisited
- 1016: A computing scientist’s approach to a once-deep theorem of Sylvester’s
- 1018: To the members of the Budget Council
- 1019: Another filler of the YoP Institute
- 1024: A new science, from birth to maturity
- 1026: Trip report E.W.Dijkstra, Marktoberdorf 1988
- 1027: My methodological blunder with grid polygons
- 1028: Euclid, Netty, and the prime numbers
- 1033: Trip report E.W.Dijkstra, Zürich, 15–20 Oct. 1988
- 1035: On long-range planning for the CS department
- 1036: On the cruelty of really teaching computing science
- 1039: Seemingly on a problem transmitted by Bengt Jonsson
- 1041: By way of introduction
- 1041a: Factorizing the factorial
- 1043: A few comments on “Computing as a discipline”
- 1044: To hell with “meaningful identifiers”!
- 1046: A tale of two winters
- 1049: A somewhat open letter to Uri Leron
- 1050: On the design of a simple proof for Morley’s Theorem
- 1051: The next forty years
- 1053: Monochrome pairs in the three-coloured plane
- 1054: On hygiene, intellectual and otherwise
- 1055: On the problem of the calissons
- 1055A: untitled (advice to a young scientist)
- 1055c: On covering a figure with diamonds
- 1056: Hoe onbelangrijk het is of duikboten kunnen zwemmen
- 1057: Andrei P. Ershov in Nuenen
- 1058: In reply to comments
- 1059: 0 Preface (Mathematical Methodology)
- 1060: “Predicate Calculus and Program Semantics”, fall 1989
- 1066: Hungry? Have a byte ....
- 1067: A very first introductory example (Mathematical Methodology)
- 1068: On the quality criteria for mathematical writing (Mathematical Methodology)
- 1069: Fair gambling with a biased coin
- 1070: For brevity’s sake (Mathematical Methodology)
- 1071: Making a fair roulette from a possibly biased coin
- 1071a: Making a fair roulette from a possibly biased coin
- 1072: On covering a figure with diamonds
- 1073: How Computing Science created a new mathematical style
- 1076: From “Discrete Mathematics with Applications” by Susanna S. Epp
- 1083: The balance and the coins
- 1085: Proving the theorem of Menelaos
- 1092: Two ways of determining an expectation value
- 1094: The undeserved status of the pigeon-hole principle (Mathematical Methodology)
- 1095: Are “systems people” really necessary?
- 1096: Potter’s proof of disjunction’s symmetry