This edition focuses on adding a theme of how to do proofs and picking topics that tie better into the computer science world. Also included is a new section called “Office Hours” which stresses how to do proofs.