Objectives

The objectives of the course are the following three.

1. Students will understand and remember the basic formalisms of mathematical logic, in its normal and clausal form, especially as this machinery intersects with AI, and so will be prepared to use this knowledge in the future in both academic and non-academic situations.
2. Students will acquire the ability to work with OTTER (and, to some degree, other systems as well), and thereby lay a foundation for tackling more sophisticated problems in the future.