Computation & Formal Systems

4.0 credits

An introduction to some of the most important formal models of computation and their application to real-world computing problems.