The Big Picture

This resource is a PDF of lecture slides from a Stanford University course (CS 103) on Computation. It covers advanced topics in theoretical computer science, including logic, proofs, sets, functions, relations, graphs, and computability. The slides are intended for students with a strong programming and mathematical background, likely at the university level.