Introduction to Computation
Sannella, Donald / Wadler, Philip / Peng, Haoran / Fourman, Michael![Introduction to Computation](https://support.digitalhusky.com/media/annotations/sorted/383/38315465/CHSBZCOP0338315465.jpg)
Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm). This uniquely accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into essential topics with sufficient depth, yet in a highly intuitive manner. From core elements like sets, types, Venn diagrams and logic, to patterns of ...