Books

Table of Contents

1. Design

1.1. User Interface

The study of human-computer interaction and how to better design interfaces to adjust to the way humans work.

  • The Humane Interface by Raskin

2. Mathematics

2.1. Algorithms and Computational Thinking

The study of algorithms and how they behave and why they behave the way they do.

  • Structure and Interpretation of Computer Programs by Abelson and Sussman

2.2. Discrete Mathematics

This subject includes a bunch of fun mathematics such as sets, logic, combinatorics, graph theory, and more. Concepts used pretty much everywhere in math and computer science.

  • Introductory Discrete Mathematics by V.K. Balakrishnan

2.3. 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 more used to do.

  • How To Prove It: A Structured Approach by Velleman
  • Mathematical Proofs: A Transition To Advanced Mathematics by Chartrand, Polimeni, and Zhang
  • Transition To Higher Mathematics: Structure and Proof by Dumasn and McCarthy

2.4. Linear Algebra

Linear algebra is concerned with a pretty limited set of equations, linear equations, hence the creative name! Even with this limited scope it’s still a beatiful topic and has a surprisingly large number of applications.

  • Linear Algebra Done Right by Axler
  • Linear Algebra Done Wrong by Treil
  • Elementary Linear Algebra by Anton and Rorres
  • Linear Algebra by Friedberg, Insel, and Spence

Created: 2025-12-01 Mon 00:43