The Science of Computing: Shaping a DisciplineCRC Press, 3 dec. 2014 - 292 sidor The identity of computing has been fiercely debated throughout its short history. Why is it still so hard to define computing as an academic discipline? Is computing a scientific, mathematical, or engineering discipline? By describing the mathematical, engineering, and scientific traditions of computing, The Science of Computing: Shaping a Discipli |
Från bokens innehåll
Resultat 1-5 av 53
Sida vi
... QUESTION 164 Chapter 9 □ Empirical Computer Science 175 9.1 HOW DO PEOPLE IN COMPUTING REALLY WORK? 178 9.2 EXPERIMENTAL COMPUTER SCIENCE 184 9.3 SCIENCE OF THE NATURAL 194 Part V Conclusions Chapter 10 □ Conclusions 205 References ...
... QUESTION 164 Chapter 9 □ Empirical Computer Science 175 9.1 HOW DO PEOPLE IN COMPUTING REALLY WORK? 178 9.2 EXPERIMENTAL COMPUTER SCIENCE 184 9.3 SCIENCE OF THE NATURAL 194 Part V Conclusions Chapter 10 □ Conclusions 205 References ...
Sida xi
Sidan har tyvärr begränsat innehåll.
Sidan har tyvärr begränsat innehåll.
Sida 5
Sidan har tyvärr begränsat innehåll.
Sidan har tyvärr begränsat innehåll.
Sida 10
Sidan har tyvärr begränsat innehåll.
Sidan har tyvärr begränsat innehåll.
Sida 11
Sidan har tyvärr begränsat innehåll.
Sidan har tyvärr begränsat innehåll.
Innehåll
Introduction | 3 |
Computer Scientists and Mathematicians | 17 |
Theoretical Roots of Modern Computing | 21 |
Marriage to Mathematics | 33 |
The Formal Verification Debate | 59 |
The Fall and Rise of Engineering | 85 |
Engineering the Modern Computer | 91 |
Software Engineering to the Rescue | 111 |
Whats in a Name? | 145 |
Science of the Artificial | 153 |
Empirical Computer Science | 175 |
Conclusions | 203 |
References | 219 |
Bibliography | 253 |
Back Cover | 277 |
The Science of Computing | 139 |
Andra upplagor - Visa alla
Vanliga ord och fraser
abstract academic computing Alan Turing algorithms argued arguments artificial intelligence Aspray automated automatic branches of computing Communications complexity computer scientists computer systems computing curricula computing education computing fields computing machinery computing pioneers computing researchers concepts curriculum debates DeMillo Denning Denning’s described Dijkstra discipline of computing discussed Edsger Dijkstra empirical eniac Ensmenger experimental computer science experiments Fetzer’s formal methods formal verification History of Computing Hoare ideas IEEE instance intellectual Knuth large number Leibniz logic machine mathematicians mathematics methodological models modern computing Moore School Moore School lectures natural sciences Neumann Newell practice presented problems processes program verification programming languages proofs puting questions quote science of computing scientific software crisis software engineering software production stored-program computer structured programming technical term theoretical theory tion topics traditional Turing Turing Award Turing’s universities users verificationism verificationists view of computing vision wrote