Class Notes (838,933)
Canada (511,158)
CS 348 (13)
Ihab Ilyas (11)
Lecture

Assignment #2 - Solution Fall 2009

2 Pages
220 Views
Unlock Document

Department
Computer Science
Course
CS 348
Professor
Ihab Ilyas
Semester
Fall

Description
Question1Z is a subset of Y so we haveYZXY and YZ transitivityXZ XZand ZW transitivity XWQuestion2Proving completenessProving Reflexivity Let YX Then for some Z we have YZX Using B1 and B2 we have YY implies that YZY Then we get XY We thus conclude that YX implies that XYProving Augmentation Let XY From B1 we have XX Then from B3 we get XZYZ We thus conclude that XY implies that XZYZProving Transitivity Let XY and YZ Then from B3 we get XZ by assuming W We thus conclude that XY YZ implies that XZProving soundnessProving B1 Since XX we get from reflexivity that XX which proves B1Proving
More Less

Related notes for CS 348

Log In


OR

Join OneClass

Access over 10 million pages of study
documents for 1.3 million courses.

Sign up

Join to view


OR

By registering, I agree to the Terms and Privacy Policies
Already have an account?
Just a few more details

So we can recommend you notes for your school.

Reset Password

Please enter below the email address you registered with and we will send you a link to reset your password.

Add your courses

Get notes from the top students in your class.


Submit