Material Detail

Mathematical Logic and Theory of Computation

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....

Show More

Quality

  • Editor Reviews
  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Browse...

Disciplines with similar materials as Mathematical Logic and Theory of Computation

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.