Contents

C241: Past Announcements

Fall 2007

9/28/07: The first midterm will be in class on monday. You will need to memorize the formulas from combinatorics, but you will be given a reference sheet for all the algebraic laws and inference rules of logic (specifically, the last sheet from assignment 4). The test will cover homeworks 1-4, with the exception that informal proofs (problem 7 on assignment 4) will not be on the exam.

9/28/07: Solutions for assignment 4 are on the assignments page.

9/24/07: Recitation this friday will be replaced by optional office hours in the AI's office, LH310, from 9am-10:30am and from 12:00pm-2:00pm. If you have any questions over any material that might appear on the exam, please stop by.

9/24/07: Problem 2 on Homework 4 had a mistake, the right hand side of the logical equivalence should be ¬ p. A corrected version of the homework is now on the assignments page, along with the solutions to homework 3.

9/21/07: Homework 4 has been posted on the assignments page, along with the solutions to Homework 2.

9/19/07: Homework 3 has been posted on the assignments page.

9/10/07: A slightly revised version of assignment 2 has been posted on the assignments page. The only changes are corrections to two typos: Problem 6(b) should ask you to prove that (p ↔ q) ⇔ (p → q) ∧ (q → p). Also, the third variable in problem 10(b) should be 's' rather than 'r'.

9/10/07: Solutions for homework 1 have been posted on the assignments page.

9/6/07: Homework assignment 2 has been posted on the assignments page. It is due Wednesday, september 12th.

8/30/07: AI's regular office hours will be 5:30pm-6:30pm on tuesday evening.

8/26/07: Welcome to C241! Basic course information is below. In the tabs to the left there is an initial schedule for the class (this may change as the class progresses), a discription of all class policies, your homework assignments and solutions, and a selection useful course resources (including an introduction to LaTeX for anyone who's feeling ambitious and is interested in learning how to typeset their homework). And right here are the announcements. An announcement will be posted each time a new homework assignment or solution set goes up, and any time there is important news about the class. Old announcements will be kept under the past announcements page, for reference's sake.

8/26/07: Assignment 1 has been posted on the assignments page. It will be due wednesday, september 5th.

t to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape. Some filler text to help Netscape.