apropos

Here are my CPSC 421 notes.

• Introduction & Course Overview

• Automata Theory: How to parse languages?

• Computability Theory: Can all software be verified?

• Complexity Theory: Do all problems have efficient algorithms?

• Communication Theory: How many bits must we send?