CIS 301. Logical Foundations of Programming, Spring 2001
Assignment #5. Due date: Friday, February 23, 2001;
BEFORE class.
You are asked to do the following exercises:
- From Exercises 1.9 on page 56,
- #1 [worth 2 points],
- #2 [worth 3 points],
- #3 [worth 3 points],
- Use mathematical induction to prove that 3n2 + 11n + 8 is
even, for all n=1,2,3,4,...
Thus, you can earn a total of ten points for completing this homework.
Michael Huth
(huth@cis.ksu.edu)