Computer Science 2800: Homework 1

09/09/10; due Friday, 09/17/10    AT THE BEGINNING OF CLASS

Important Note: In problems where the reasoning isn't totally obvious, 
EXPLAIN your reasoning. This is an important part of the thinking process 
(and also gives you a chance for partial credit). Also, note that there are 
solutions to the odd-numbered problems in the book. You may want to check 
them out to get ideas for the assigned problems.


Do following exercises from Rosen (6th edition):

Section   Number          Points    Comments/Hints
1.1 	   8 (c), (f)       4
          10                4
          28 (c), (f)       5
 	  44                4       as always, explain our answer
                                    
1.2       12  do only parts (a), (b) from q. #10  --- 4 pts
          26                4     
          52                6       can use q. #45, sect. 1.2

1.3       28                6       use predicates:
                                        R(x) for "x is in the correct place"
                                        E(x) for "x is in excellent condition"
                                        T(x) for "x is a (or your) tool"
                                    and let the domain of discourse be all things.

1.4       12 (b), (e), (j), (k), (o)  --- 6 pts 
          46                5       as always, explain your answer

1.5       14(b)             5       formalize statements and use inference rules
          28                4

1.6       28                5
          40                8

extra: attached cover sheet 2