| 
|
QuoteRef: dijkEW12_1989
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references c-d
Topic:
abstraction in programming
Topic:
decomposition of a system into levels
Topic:
hierarchical structures
Group:
systems
Topic:
computer as state machine
Topic:
bugs
Topic:
sensitivity of software to change
Topic:
programming as mathematics
Topic:
what is a computer
Topic:
symbolic execution
Topic:
intelligent machines
Topic:
symbolic manipulation of formulas
Topic:
computer as an intelligent agent
Topic:
elements
Topic:
set definition by extension or intension
Topic:
mathematics as a formal system
Topic:
logic
Reference
Dijkstra, E.W., "A debate on teaching computing science: On the cruelty of really teaching computing science", Communications of the ACM, 32, 12, pp. 1397-1414, December 1989. Google
1400 ;;Quote: a programmer must bridge a 10^9 ratio in time and space with a single technology; much deeper conceptual hierarchy than ever before
1400 ;;Quote: in a digital device, changing a single bit can have drastic consequences; a radical novelty of computers
1401 ;;Quote: a program is an elaborate formulae for some formal system; made concrete by a computer
1401+;;Quote: computers are for manipulating symbols
1402 ;;Quote: computing science may provide symbolic calculation that is better than human reasoning; Leibniz's dream
1402 ;;Quote: should not call them 'bugs' because they are really errors; they don't maliciously sneak in
1402 ;;Quote: never anthropomorphize programs or equipment; think of programs in terms of computational behavior based on a model
1403 ;;Quote: deal with all elements of a set via the set's definition and not the elements themselves
1414 ;;Quote: mathematical logic is seldom used in proofs; it should be a calculational alternative to human reasoning
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references c-d (337 items)
Topic: abstraction in programming (67 items)
Topic: decomposition of a system into levels (49 items)
Topic: hierarchical structures (43 items)
Group: systems (17 topics, 526 quotes)
Topic: computer as state machine (20 items)
Topic: bugs (65 items)
Topic: sensitivity of software to change (44 items)
Topic: programming as mathematics (27 items)
Topic: what is a computer (62 items)
Topic: symbolic execution (8 items)
Topic: intelligent machines (28 items)
Topic: symbolic manipulation of formulas (12 items)
Topic: computer as an intelligent agent (49 items)
Topic: elements (18 items)
Topic: set definition by extension or intension (18 items)
Topic: mathematics as a formal system (30 items)
Topic: logic (84 items)