Homework #3 - Final Project Description

The exercises and homework assignments we've given you so far have been mostly small programming problems or brainteasers of our devising. Now we want to give you an opportunity to work on something a little more substantial, and we also want you to pick the topic! We hope that this will give you a chance to use your knowledge of Logic to explore an application area that is of interest to you and perhaps to build a tool that will be useful to you in other settings.

General guidelines for the project are as follows:

Some possible strategies for picking a project topic:

What to do