80-210 Introduction to Formal Logic (self-paced)
This is a self-paced, entirely computer taught introduction to formal
logic, for students with a degree of mathematical
independence. Topics include propositional and first-order
predicate logic, integer arithmetic, probability theory,
and social choice theory. There are only three class
meetings: an introduction at the beginning of the term, a
midterm, and a final exam.
Answering questions from students and helping them to solve the problems (mostly by email). Design and grade midterm and final exams.