Teaching: 80-210

80-210 Introduction to Formal Logic (self-paced)

Course Description

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.

Responsibilities

Answering questions from students and helping them to solve the problems (mostly by email). Design and grade midterm and final exams.