Exercise on the Lambda Calculus

Something to do to demonstrate that you learned something.
Note that you will have to understand how to apply
precedence/parenthesization, the conversion rules
and the substitution rules.


Please hand in at the beginning of class on 10/22/96.

A. Problems:

1.  Simplify (\x. (\y. x y)) (\u. u)  v

2.  define true  = \x. \y. x
       and false = \x. \y. y
       and not   = \t. t false true

    What are the values of 
	i)  not true  = ??
        ii) not false = ??


B.  Please record the answers to this evaluation along with the
answers to the problems above.

1.  The amount of information on each page was:

	1	2	3 	4 	5
     too little         ok           too much


2.  The practice questions (not the ones to hand in) were:

	1	2	3	4	5
     too easy      good to learn     too hard


3.  The explanations of the right/wrong answers were:

	1	2	3	4	5
     unneeded	     useful	     not detailed enough


4.  The hand-in exercises were:

	1	2	3	4	5
     too easy          ok	      too hard


5.  The ability to move back/forth thru the material was:

	1	2	3	4	5
     critical	      helpful	       unused
     to learning


6.  This module was:

	1	2	3	4	5
     better         interesting        icky
      than	    diversion or	waste of time
    lecture       no worse than class


7.  Estimate the amount of time it took you to:
	a) go thru the module
	b) complete the problems in A) above


8.  Please give any comments/suggestions which would help to
characterize the experience or improve it.