CSSE 373 Formal Methods in Specification and Design

HW1

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

Keep track of how much time you spend on this assignment. You will submit your answers as a pdf file at the end of the homework.

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 }

11. How much time did you spend on this assignment?

Turn in your work by committing a pdf file containing your answers to the HW01 folder in your individual subversion repository for this course.