CMPSC360hw2 - CMPSC 360 Discrete Mathematics for Computer...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

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

Unformatted text preview: CMPSC 360 Discrete Mathematics for Computer Science, Fall 2008 Homework 2 Out: Sept. 4, Due: Sept. 11 by 5:00pm Instructions: Write your name, section number and CMPSC 360 on your assignments. Put your solutions in the homework box in 342G by 5pm on Thursday. 1. [Practice with induction] Prove each of the following statements using induction. (a) For all natural numbers n > 1, 1 + 1 4 + 1 9 + ... + 1 n 2 < 2- 1 n . (b) For all natural numbers n 1 , 4 n +1 + 5 2 n- 1 is divisible by 21. (c) For all natural numbers n , n X i =0 i 2 = n 2 4 , if n is even; n 2- 1 4 , if n is odd. [Here for any real number x , b x c denotes the largest integer less than or equal to x .] 2. [Recursion and proofs] Consider the following computer program: function G ( n ) if n = 0 then return 0 if n = 1 then return 1 else return 5 G ( n- 1)- 6 G ( n- 2) Prove (using strong induction) that for all inputs n N , the value returned by the program is G ( n ) = 3 n- 2 n . 3. [Research project?] One day, you find a shady-looking flyer on downtown that advertises an undergraduate research position in the Ohio State Geology department. After you make your way down to Columbus, Dr. Hoover, the professor in charge, hands you the following as-down to Columbus, Dr....
View Full Document

This note was uploaded on 10/08/2008 for the course CMPSC 360 taught by Professor Haullgren during the Fall '08 term at Pennsylvania State University, University Park.

Page1 / 3

CMPSC360hw2 - CMPSC 360 Discrete Mathematics for Computer...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online