Optional Textbooks

• Mathematics for Computer Science, Lehman, Leighton, and Meyer
• Discrete Mathematics for Computer Science, Liben-Nowell
• How to Prove It: A Structured Approach, Velleman
• How to Solve It: A New Aspect of Mathematical Method, Polya and Conway

Python

• Python 3 documentation
• learnxinyminutes.com (Python)
• Automate the Boring Stuff
• Visual Studio Code

LaTeX

• LaTeX Distributions
  • Overleaf (Online LaTeX IDE)
  • TexLive
  • MacTeX (Mac)
  • MiKTeX (Windows)
• General References
  • Overleaf knowledge base (LaTeX tutorials and references)
  • LaTeX @ Wikibooks
• LaTeX Packages
  • TiKZ (Graphs)
  • Mathpartir (Inference Rules)
• Additional LaTeX Tools
  • Latexmk (LaTeX “Make” script)
  • Latexrun (command-line wrapper)
  • Detexify (symbol reverse-lookup)
  • latex2png (to use equations, e.g., in PowerPoint)
  • Pandoc (conversion between many document formats)