This is a QR code. A QR Code is a 2-dimensional barcode, which has encoded in it a URL (web address), text, or other information. It can be read by a QR code scanner, including QR scanner smartphone apps. Once you have an app installed on your smartphone, open the app and hold your phones camera over a QR code to read it. Most QR codes youll come across have a URL encoded, so chances are when you read the QR code it will take you to a web page.
Reviewed by members of Editorial board for inclusion in MERLOT.
Useful material in MERLOT
Click to get more information on the MERLOT Editors' Choice Award in a new window.
Click to get more information on the MERLOT Classics Award in a new window.
Click to get more information on the MERLOT JOLT Award in a new window.
Search all MERLOT
Click here to go to your profile
Click to expand login or register menu
Select to go to your workspace
Click here to go to your Dashboard Report
Click here to go to your Content Builder
Click here to log out
Please give at least one keyword of at least three characters for the search to work with. The more keywords you give, the better the search will work for you.
select OK to launch help window
You are now going to MERLOT Help. It will open in a new window
For optimal performance of MERLOT functionality, use IE 9 or higher, or Safari on mobile devices
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...
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 a definable mathematical object, we can prove that certain computations are impossible. The most famous such proof is Gödel’s Incompleteness Theorem, showing that it is impossible to compute truth in a system sufficiently strong to describe natural number arithmetic.
Finally, in Unit 3, we turn to proof theory. Just as modeling computations results in new insights, modeling the process of mathematical proof results in a surprising connection: a proof is analogous to a computation.
These three often interact. Proofs and computations have natural parallels with the language we use to describe structures. Structures from model theory give natural settings for computation, as in Gödel’s Incompleteness Theorem. After completing this course, you will understand all three.'