536_solution3

536_solution3 - Homework #3 Solution Answer We get Answer...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Homework #3 Solution Answer We get Answer The predicate is False for z=0. Hence, does not satisfy the given predicate. Answer Answer Answer Let P(x) = Let Then Now consider To disprove Choosing then: , we only need one value c where Hence, does not imply that holds. Answer Answer Answer If n>0 then s:=0; k:=0; b[0]:=0; while k<n do k:=k+1; b[k]:=k; s:=s+k od k:=k+1; else skip fi Answer Answer Note that, is the key. Answer a) b) ...
View Full Document

This note was uploaded on 04/17/2011 for the course CS 536 taught by Professor Cs536 during the Fall '08 term at Illinois Tech.

Ask a homework question - tutors are online