EPGY Introduction to Logic
The EPGY Introduction to Logic course is a standard introduction to sentential and first-order logic, with additional material on quantification, translation, and consistency proofs.

M157 was originally offered to Stanford undergraduates as a computer-based introduction to logic through the Institute for Mathematical Studies in the Social Sciences (IMSSS) and the Department of Philosophy. The course is text-only. (4 units)

Course Model

A sample screen from the Introduction to Logic course
 The course is presented in a series of written explanations of concepts followed by extensive questions. Students are introduced to formal reasoning and modes of inference which they use to construct proofs. The course features a theorem proving environment which verifies student proofs.

View detailed lesson contents.

Exams

The course has a written final examination, which is graded by the course tutor. The course grade is largely based on the final exam grade.

Elementary Number Theory || Table of Courses