Will Formalization be included in the midterm

[Hao Xu]

In the CS sample midterm provided there's a question on Predicate
Logic:Formalization (question 7). But this was taught in lecture 15. For
example on page 8 of the lecture 15 covers there is at least one solution,
there is exactly one solution and there is at most one solution. From my
understanding the midterm will only include materials up to chapter 14. So
will this be covered in the midterm???

[Nancy Day]

Post by Hao Xu
In the CS sample midterm provided there's a question on Predicate
Logic:Formalization (question 7). But this was taught in lecture 15. For
example on page 8 of the lecture 15 covers there is at least one
solution, there is exactly one solution and there is at most one
solution. From my understanding the midterm will only include materials
up to chapter 14. So will this be covered in the midterm???

We've been doing formalization in predicate logic since Lecture 9.

See my previous newsgroup post regarding what aspects of using "="
are covered on the midterm exam.

cheers, nancy
CS245 Winter 2009 Instructor