Prerequisites & Resources
Recommended prerequisites for the course are noted as
familiarity with sequences and series, limits, and differentiation and integration of functions of one variable are necessary. This is taught in 18.01 Single Variable Calculus (OCW).
For starters
- Stanford's Introduction to Mathematical Thinking given by Dr. Keith Devlin is a good starting point.
- How to Read Mathematics by Shai Simonson and Fernando Gouvea is a nice document about how reading mathematics differs from other kinds of reading.
- Additionally, I would encourage you to read A Mathematician's Lament by Paul Lockhart, which was pretty influential to me on deciding not to be intimidated of the topic.
Background
- If you're coming from a humanities background, Six Septembers: Mathematics for the Humanist is a delicious book, and it's free.
- Khan Academy is greatly structured and provides math education for all levels.
- Professor Leonard 's videos are also very helpful, especially his Calculus playlists.
- OpenStax has free textbooks, from pre-algebra to calculus and many more.
- Book of Proof by Richard Hammack is a free book on introduction to proofs.
More on Discrete Math
- Kimberly Brehm's Discrete Math I and Discrete Math II are very helpful.
- Discrete Mathematics with Applications by Susanna S. Epp is a great textbook.
Logic
- Logic Matters is an invaluable resource. Especially check out An Introduction to Formal Logic and Teach Yourself Logic study guide.
- The Open Logic Project has great resources, all open-source.
- Sets, Logic and Maths for Computing is another introductory textbook.
Miscellaneous
- Better Explained has beautiful articles on various topics.
- The Math Book from DK's Big Ideas Series is a fun guide.
- Since this is a course for, eventually, computer science, basecs series by Vaidehi Joshi is very fun, and explores topics that some of the sections introduce. It also has a podcast.