Design
User Interfaces
The study of human-computer interaction and how to better design interfaces to adjust to the way humans work.
- The Humane Interface by Jef Raskin
Mathematics
Computer Science
Fundamentals on what it's possible to do with computer and its algorithms.
- Structure and Interpretation of Computer Programs by Abelson and Sussman
Proofs
Proofs are logic arguments mathematicians use to convince other mathematicians that their argument is valid.
This is very different from the computational math we are traditionally taught.
- How To Prove It by Daniel J. Velleman
- Book of Proof by Richard Hammock