Books

Design

User Interface

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

Mathematics

Algorithms and Computational Thinking

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

Discrete Mathematics

This course 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.

Check out the sets and logic pages.

Introduction to Proofs

Proofs are logic arguments mathematicians use to convince other mathematicians that their argument is valid. This is very different from any computational math we’ve probably done.

Check out the proofs page.

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 large number of applications.

The following books expect you to be comfortable reading and writing proofs.