This is the homepage for the Summer 2010 First-Order Logic group contract. We’ll meet for this subject on Mondays at Xpm and Thursdays at Ypm (except as otherwise agreed).
Textbook: We’re using the text A Mathematical Introduction to Logic, 2nd edition, by Enderton. In these five weeks, we’ll work through chapters 1 and 2.
Exams: There will be one take-home exam at the end.
Homework: we’ll use the turn-in system, so each time we meet you’ll submit one problem for grading (so, you’ll submit two problems per week). You’ll maintain a portfolio of your work on the problems you don’t hand in; I’ll review your completed portfolio at the end when I write your evaluation. We’ll use the homework assignments I gave the last time I taught this subject. Here they are, with due dates: