The interplay between economic thinking and computational thinking as it relates to electronic commerce, incentives engineering, and networked systems

This course is an introduction to the theory of computation, teaching: • How to reason precisely about computation and prove mathematical theorems about its capabilities and limitations. • Models of computation. These range from weak but useful models (such as finite-state machines) to...

General introduction to the theory of computation, teaching how to reason precisely about computation and prove mathematical theorems about its capabilities and limitations. Finite automata, Turing machines, formal languages, computability, uncomputability, computational complexity, and...