CS103: Mathematical Foundations of Computing
Authors
Topics
https://web.stanford.edu/class/cs103/