---

4.3 Homework 2

                        Homework Assignment 2
                               CS 389r
                         Unique Number: 53119
                             Fall, 2021

                       Given:   September 14, 2021
                        Due:    September 23, 2021

Here is a web pointer to a talk that can help you with this homework.

Hand proof examples by J Moore

This homework assignment is based on the material from Moore’s Recursion and Induction notes. Please read through section ten before attempting to do the homework.

Your homework assignment is to provide solutions for problems 18 – 19; 23 – 26. And, think about problems 27 – 29, and write up your thoughts about these three problems and what impact allowing these definitions might have on the ACL2 logic.