Logic & Proofs is accessed via Carnegie Mellon University's Open Learning Initiative. How to connect depends on the version of the course in which you are interested. Select the description below that best suits your role for instructions and links.
To simply explore the material, you may access the Open and Free Independent Learner version, either with or without an OLI account (though an account is recommended, so you can track your own progress).
If you wish to earn a certificate of completion at your own pace, and are not receiving assistance from an instructor or tutor, you can access the Certificate version.
You will be required to create an OLI account, if you do not already have one, in the process of registering for the course.
Instructors, whether faculty at an academic institution (university, college, CEGEP, high school, etc.), private tutor, or homeschooling parent can create an instructor's account on OLI and create a section for use with their student(s).
Once you have an instructor's account, you can build a section for yourself using the OLI Course Builder, or request assistance from either OLI-help or the Logic & Proofs Support Team in creating a section with the right options and selection of content for your class (see the Academic Use page for more information on available features and options or ask us for more information).