Schedule | Syllabus | Handouts | Links

Professor Hans Halvorson

E-mail: hhalvors

Phone: 8-1494

Office Hours during Reading Period and Exams: Friday, May 12 (2-3pm), Wednesday, May 17 (2-3pm), and Thursday, May 18 (2-3pm). In Marx Hall, Room 210.

**Assistants in Instruction.**

_ | <email> at princeton | Office (1879 Hall) | Office Hours |

Lara Buchak | lbuchak | 227 | Wed 1:30-3pm |

Mark Budolfson | mbudolfs | 126 | Tue 5-6pm |

Su Kim | sukim | 108 | Tue 12noon-1pm |

Juan Srodek | jsrodek | 227 | Tue 11am-12noon |

Cecilia Tilli | ctilli | 114 | TBA |

**Announcements** (last updated: Wed, May 17, 2006)

- Here are solutions and more solutions to the second half of the practice final exam.
- Here are answers to the first few problems of the practice final exam.
- Update: The second review session will be at
**3pm**on Wednesday, May 17, instead of 1pm as originally announced. - Answer keys to all homeworks have been posted on the Handouts page.
- Two Review Sessions to go over the practice final exam, and to answer other questions: Session 1: Thursday (5/11) 1pm at McCosh Hall 2 (We'll be going over the Short Answer section, the Translation section, and problems 1 and 2 of the Proofs and Counterexamples section.) Session 2: Wednesday (5/17)
**3pm**at McCosh Hall 2 (We'll be going over problems 3 and 4 of the Proofs and Counterexamples section and the Metatheory section.) The sessions should run about an hour each. Send additional requests for the review sessions to Su Kim (sukim@). - Here is a practice final exam. Solutions will be discussed during the review sessions.
- Homework 9 will be the last homework assignment of the semester.
- Here are some notes on the completeness theorem.
- Here are some notes on the soundness theorem.
- Homework 9. Note: Your answers in part B will be
*propositional functions*, not wffs. - Here are some predicate logic practice proofs.
- Here is a handout for the week of April 11.
- Here is the grade curve at midsemester.
- Here are more practice problems, from a previous year's course. (A few solutions)
- Here is a handout to help with terms and definitions for the midterm exam.
- Here is a practice midterm exam (some solutions).
- Here are some notes on the criteria we apply in grading proofs.
- Here are some practice proofs, and some hints.
- Here is a handout on proof strategies, by Mark Budolfson.
- Some of the precept times are listed incorrectly in the Blackboard system: Precept 11 (Budolfson) should be Tue 11am, not Tue 3:30pm, and Precept 12 (Halvorson) should be Tue 11am, not Wed 10am. It is possible that some email notifications were incorrect because of this glitch.
- Precept room assignments. Please direct queries about your precept assignment to Mark Budolfson (mbudolfs).
- Here is the handout covering the "Stage 1" rules of inference.