Images file index

  1. Problem 1:

    Note the wff \[ P(1) \land P(n)\rightarrow P(n+1) \] is not what the author of the following solution intended: it should be \[ P(1)\wedge({P(n)}\rightarrow{P(n+1)}) \]

  2. This is straight-forward from the definition:

    I didn't get a satisfactory solution to the second part, so I just wrote in *most* of the details to a student's paper....

  3. This student cruised through this problem:

  4. I cut the following paper a lot of slack for clearly indicating the recursive nature of the lists in the first part.

    The second part is a little sloppy with the mix of L and S (and I note that the inequality should be replaced by ).

    Part three appears to have been solved by inspection (recognition of the triangular numbers from problem 1, perhaps).

  5. We went over this one in class, but I didn't get many good answers....:(

  6. It might have been nice to see some examples of the equivalence classes in the following, but the class structure is well laid out:

Website maintained by Andy Long. Comments appreciated.