Theory of Computation

Sort options

Mathematical Logic and Theory of Computation (saylor.org)

Legacy Course
Mathematical Logic and Theory of Computation (saylor.org)
Free Course
Categories
Effort
Languages
Mathematics is about structure, about reasoning, and about modeling. This course braids these three threads together. Mathematical logic began as the study of the reasoning used in mathematics, but it turns out to be useful in describing the mathematical concept of structure and in modeling automated reasoning—that [...]