Final project (50%) will be crafted individually for each student to suit their interests and enable them best to reflect on the themes of the course. One option is to write a paper that summarizes and reflects on some recent research in logic in subfields related to the material we cover in the class (computation, incompleteness, proof theory, philosophical issues and formalization). Another popular option is to do something more hands on, a small research project, or writing of a computer program that automatizes some aspect of the material we covered. Students will meet with the instructor individually mid way through the semester to arrange a direction for their projects. The projects can be done in groups.

Final project timeline: Week 8, meet with the instructor, Week 10 write the proposal, Week 14 report of progress, Week 16 the project due.

Homework assignments (50%):

The structure of the homework is the following. Each students does the homework for the day it is due. In groups, students present the solutions to given problems in class. Everyone then resubmits the homework for grading. The assignments are peer graded: one or a group of students grades each assignment. You get extra points if you get it right the first time around, of course.

Schedule of HW:

Week 3: Written portion: both exercises you were assigned to, plus any other five exercises in the range 1 -- 20.

Assigned Exercises 1

Week 5: Prove or show countermodels:

Ax(Bx-->Cx)==>Ax Bx-->AxCx

AxBx-->AxCx)==>Ax (Bx-->Cx)

Ex(Bx<-->Cx)==>ExBx<-->ExCx

ExBx & ExCx==>Ex(Bx & Cx)

ExBx & ExCx==>Ex(Bx v Cx)

Week 7: Book, page 97, parts of problem 2 (prove that axioms hold), and show that ss0+ss0=ssss0.

Week 8: Book, page 102, problems 1, 2

Week 10: Book, page 109, problems 1, 2

Week 12: Book, page 138, problems 1, 2, 3

Week 14: