Material Detail
Mathematical Logic and Theory of Computation
This is a free online course offered by the Saylor Foundation. '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 is, modeling computation. The logical approach to structure gives an alternate perspective on such other mathematical subjects as combinatorics and abstract algebra. This, for the most part, is described by the area of model theory, which is the focus of Unit 1. In Unit 2, we will look at modeling computation. The central fact of these models, from a logical standpoint, is that once we can handle a computation as...
Show More
Quality

Editor Reviews

User Rating
 Comments
 Learning Exercises
 Bookmark Collections
 Course ePortfolios
 Accessibility Info