CS 6520 Homework 21

Exercise 21.1

Prove Theorem 2 in the structrual induction handout.

Exercise 21.2

Prove Theorem 3 in the structrual induction handout.

Exercise 21.3

Prove Theorem 6 in the structrual induction handout.

Exercise 21.4

Prove Theorem 8 in the structrual induction handout.

Exercise 21.5

Prove Theorem 9 in the structrual induction handout.

Exercise 21.6

Prove Theorem 10 in the structrual induction handout.

Last update: Thursday, April 6th, 2000
mflatt@cs.utah.edu