1 / 12

120 likes | 238 Views

CS1110 21 October 2008. Read: Sec. 2.3.8 and chapter 7 on loops. The lectures on the ProgramLive CD can be a big help. Some anagrams A decimal point I'm a dot in place Animosity Is no amity Debit card Bad credit Desperation A rope ends it

Download Presentation
## CS1110 21 October 2008

**An Image/Link below is provided (as is) to download presentation**
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.
Content is provided to you AS IS for your information and personal use only.
Download presentation by click this link.
While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

**CS1110 21 October 2008**Read: Sec. 2.3.8 and chapter 7 on loops. The lectures on the ProgramLive CD can be a big help. Some anagrams A decimal point I'm a dot in place Animosity Is no amity Debit card Bad credit Desperation A rope ends it Dormitory Dirty room Funeral Real fun Schoolmaster The classroom Slot machines Cash lost in 'em Statue of liberty Built to stay free Snooze alarms Alas! No more Z's The Morse code Here come dots Vacation times I’m not as active Western Union No wire unsent George Bush He bugs Gore Parishioners I hire parsons The earthquakes That queen shake Circumstantial evidence Can ruin a selected victim Victoria, England’s queen Governs a nice quiet land Eleven plus two Twelve plus one (and they have 13 letters!)**Announcements**Prelim 2 next Tuesday evening, 7:30PM, Uris Auditorium. Yes, for-loops are not on this prelim. 2. Please complete an online questionnaire concerning your TA. http://www.engineering.cornell.edu/TAEval/menu.cfm This is a midterm evaluation. It is important, because your constructive comments are used to help the TA improve, which may help you in this course. You will probably receive an email about this. Please complete the survey this week!**x**x x ? ? ? n n n 2 0 1 Assertion: true-false statement placed in a programto assert that it is true at that place. x = sum of 1..n**x**3 n 3 Precondition: assertion placed before a segmentPostcondition: assertion placed after a segment precondition // x = sum of 1..n-1 x= x + n; n= n + 1; // x = sum of 1..n-1 6 4 postcondition n n 1 2 3 4 5 6 7 8 9 10 11 x 10 15 x contains sum of these**Solving a problem**precondition // x = sum of 1..n n= n + 1; // x = sum of 1..n What statement do you put here so that segment is correct? (if precondition is true, execution of segment should make postcondition true.) x= x + n+1; postcondition**Solving a problem**precondition // x = sum of 1..n-1 n= n + 1; // x = sum of 1..n-1 What statement do you put here so that segment is correct? (if precondition is true, execution of segment should make postcondition true.) x= x + n; postcondition**// invariant**The invariant is an assertion about the variables that is true before and after each iteration (execution of the repetend) Execution of the for-loop The for-loop: for (int i= 2; i <= 4; i= i +1) { x= x + i*i; } loop counter: i initialization: int i= 2; loop condition: i <= 4; increment: i= i + 1 repetend or body: { x= x + i; } Iteration: 1 execution of repetend i= 2; To execute the for-loop. Execute initialization. If loop condition is false, terminate execution. Execute the repetend. Execute the increment and repeat from step 2. true i <= 4 x= x + i*i; false i= i +1;**// Process integers in a..b**Command to do something equivalent post-condition // invariant: integers in a..k–1 have been processed for (int k= a; k <= b; k= k + 1) { Process integer k; } // post: the integers in a..b have been processed a a+1 a+2 … k-1 k k+1 … b Iteration: 1 execution of repetend invariant: unchanging**Methodology for developing a for-loop**Recognize that a range of integers b..c has to be processed Write the command and equivalent postcondition. 3. Write the basic part of the for-loop. 4. Write loop invariant. Figure out any initialization. Initialize variables (if necessary) to make invariant true. 6. Implement the repetend (Process k). // Process b..c // Postcondition: range b..c has been processed // Invariant: range b..k-1 has been processed for (int k= b; k <= c; k= k+1) { // Process k }**Finding an invariant: something that is true beforeand after**each iteration (execution of the repetend). // Store in double variable v the sum // 1/1 + 1/2 + 1/3 + 1/4 + 1/5 + … + 1/n for (int k= 1; k <= n; k= k +1) { Process k } // v =1/1 + 1/2 + … + 1/n Command to do something and equivalent postcondition v= 0; // invariant: v = 1/1 + 1/2 + … + 1/(k–1) v = sum of 1/i for i in range 1..k-1 v = sum of 1/i for i in range 1..n What is the invariant? 1 2 3 … k-1 k k+1 … n**Find invariant: true before and after each iteration**// set x to no. of adjacent equal pairs in s[0..s.length()-1] Command to do something and equivalent post-condition for (int k= 0; k < s.length(); k= k +1) { Process k } // x = no. of adjacent equal pairs in s[0..s.length()-1] // invariant: x = no. of adjacent equal pairs in s[0..k-1] for s = ‘ebeee’, x = 2. k: next integer to process.Which ones have beenprocessed? 0..k C. a..k 0..k–1 D. a..k–1 E. None of these What is the invariant? x = no. adj. equal pairs in s[1..k] x = no. adj. equal pairs in s[0..k] x = no. adj. equal pairs in s[1..k–1] x = no. adj. equal pairs in s[0..k–1] None of these**1. What is the invariant?**Being careful Command postcondition // { String s has at least 1 char } // Set c to largest char in String s // inv: for (int k= ; k < s.length(); k= k + 1) { // Process k; } // c = largest char in s[0..s.length()–1] 2. How do we initialize c and k? k= 0; c= s.charAt[0]; k= 1; c= s.charAt[0]; k= 1; c= s.charAt[1]; k= 0; c= s.charAt[1]; None of the above c is largest char in s[0..k–1] An empty set of characters or integers has no maximum. Therefore, be sure that 0..k–1 is not empty. Therefore, start with k = 1.

More Related