Computational Analysis
CSC 412

Python

• Python, the web-site, comprehensive, includes
  • Python 3.7.0 downloads (for Windows, MacOS)
  • Tutorial
  • Reference
• xkcd on Python

Logic and Sets

• "Factasia" on logic with special section on elementary propositional logic and predicate logic
• Wikipedia's entry on naive set theory
• Fast sat-solver: crypto-minisat

Graph Theory and Puzzles

• Game about Squares
• Cornmaze in Illinois
• Mazes, including tilt mazes
• puzzles.com, tons of interesting puzzles of all types
• More puzzles
• Sokoban, addictive game. Not the best version (that would probably be Sourceforge's Sokoban, but that requires installation).
• Tangram, another addictive game. Best played with real pieces.
• planarity game
• graph drawing applet; and another graph drawing applet
• Bondy and Murty's classic text: Graph Theory with Applications.
• Interactive graph theory explorarion

Probability

• The Monty Hall Problem

Cryptography and Algebra

• Elementary introduction to modular arithmetic
• Psychic webpage (how does it work?)

Interview Questions

• How Would You Move Mount Fuji, by William Poundstone; interesting book on puzzle interviews. A lot of the puzzles are online too.
• Interview puzzles

Other

• ALT + =  for typesetting mathematical formulas in Microsoft products.
• For professional mathematical typesetting: latex, e.g. in overleaf