Next: About this document
CS 486 Applied Logic Assignment #9
Spring 1997 Due Date: Thurs., 4/10/97
Please read Suppes, p.135-149
- Problem 12, Suppes p.90
- Problem 5, Suppes p.149
- Write a specification in
saying that any list has a reversal, i.e. for (5, 3, 7, 9) there is the list (9, 7, 3, 5).
- Express in the idea that given any number greater than or equal to 8, it can be expressed as a sum of some number of 3's and 5's, i.e. 11= 3+3+5. Prove this and discuss any possible computational meaning of your proof.