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