flâneur — a map of the web's best reading

Structure and Interpretation of Computer Programs

mitp-content-server.mit.edu · 1,695 words · saved by 1 readers

We now come to the decisive step of mathematical abstraction: we forget about what the symbols stand for. ...[The mathematician] need not be idle; there are many operations which he may carry out with these symbols, without ever having to look at the things they stand for. Hermann Weyl, The Mathematical Way of Thinking We concentrated in chapter 1 on computational processes and on the role of procedures in program design. We saw how to use primitive data (numbers) and primitive operations (arithmetic operations), how to combine procedures to form compound procedures through composition, conditionals, and the use of parameters, and how to abstract procedures by using define. We saw that a procedure can be regarded as a pattern for the local evolution of a process, and we classified, reasoned about, and performed simple algorithmic analyses of some common patterns for processes as embodied in procedures. We also saw that higher-order procedures enhance the power of our language by enabli

Structure and Interpretation of Computer Programs [Go to first , previous , next page ; contents ; index ] Chapter 2 Building Abstractions with Data We now come to the decisive step of mathematical abstraction: we forget about what the symbols stand for. ... [The mathematician] need not be idle; there are many operations which he may carry out with these symbols, without ever having to look at the things they stand for. Hermann Weyl, The Mathematical Way of Thinking We concentrated in chapter 1 on computational processes and on the role of procedures in program design. We saw how to use primit

Explore this link on the map →

saved by

related reading