CSSE 373 Formal Methods in Specification and Design

HW1

Purpose: provide some information about your preparation for this course, especially discrete mathematics

1. Which CSSE courses have you taken at RHIT?
2. Which CSSE courses are you currently taking at RHIT?
3. Which math courses have you taken at RHIT?
4. Which math courses are you currently taking at RHIT?
5. What do you hope to learn in this course?
6. What is your biggest concern about this course?
7. What are the dates of the exams for this course?
8. Prove: ( P AND Q ) OR ( NOT P AND R ) IMPLIES ( Q OR R )
9. Translate the following problem into symbolic logic in order to prove the result:
   1. All men are mortal.
   2. Socrates is a man.
   3. Therefore, Socrates is mortal.

10. The symbol "P" means "powerset". Write out the full cartesian product:

    { a, b } × P{ a, b }