CS 486 Applied Logic Assignment #8
Spring 1997 Due Date: Thurs., 4/3/97

Please read Suppes, pages 20-46.

1. Define the operator used in the prelim.
2. Using the data and functions available in , define these concepts.
   

   An increasing list-say
   Length of a list-say
   Index into a list- is the element of for
   Member of a list-say is true if is on
   Multiplicity of in -say is the number of times occurs in (from 0 to possible)
   

   1. state the theorem that given any list there is a list with the same elements in the same multiplicity whose head is the minimal element of the given list.
   2. state the theorem that any list can be sorted into increasing order.
3. Suppes problem 15, p.46.

• About this document ...