
Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
A homework assignment for cs 1050 b: constructing proofs, lectured by sasha boldyreva. The assignment includes several problems to be solved from rosen's textbook, section 5.3 and 5.5. Students are required to do the reading, indicate the time spent on the homework, and explain their reasoning for each problem. The points allocated to each problem vary. Useful for university students taking a course in mathematical logic or formal proofs.
Typology: Assignments
1 / 1
This page cannot be seen from the preview
Don't miss anything!

CS 1050 B: Constructing Proofs March 3, 2009
Lecturer: Sasha Boldyreva Due: March 10, 2009 Assignment 5.01 Do the assigned reading. Assignment 5.02 Indicate how much time did you spend on this homework. In all problems do not just give an answer, but explain your reasoning. Problem 5.1, 25 points. Problem 22 from Section 5.3 of Rosen’s textbook. Problem 5.2, 5 points. Problem 24 from Section 5.3 of Rosen’s textbook. Problem 5.3, 10 points. Problem 30 from Section 5.3 of Rosen’s textbook. Problem 5.4, 15 points. Problem 32 from Section 5.3 of Rosen’s textbook. Problem 5.5, 25 points. Problem 10 from Section 5.5 of Rosen’s textbook. Problem 5.6, 10 points. Problem 26 from Section 5.5 of Rosen’s textbook.