Click on the following link to access the online course for students (or click on the Students link on the home page of this website). This course is open to anyone, anywhere, for free.

Click on the following link to purchase a textbook for the course. Note that the textbook is simply a printed version of the online course notes.

Click on the links below to download slides for the chapters in the course. Most of the Keynote and Powerpoint files have presenter notes associated with the slides; the PDF files contain just slides and no notes. You are welcome to use the slides as is or you can intermix them with your own slides. Whatever you think works best. If you come up with other ways of presenting the material or additional examples and if you have time, we would appreciate it if you could let us know so that we can incorporate your ideas into future versions.

See below for links to exams from Stanford's offering of Intrologic. The midterm exams focus on Propositional Logic (the first 5 lessons of the course). The final exams cover all of the material in the course.