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.

© Dirk
Schlimm 8/14/00.