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 10
Sida 27
Sidan har tyvärr begränsat innehåll.
Sidan har tyvärr begränsat innehåll.
Sida 62
Sidan har tyvärr begränsat innehåll.
Sidan har tyvärr begränsat innehåll.
Sida 69
Sidan har tyvärr begränsat innehåll.
Sidan har tyvärr begränsat innehåll.
Sida 83
Sidan har tyvärr begränsat innehåll.
Sidan har tyvärr begränsat innehåll.
Sida 101
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