Logic and Computers

This course provides an introduction to logic and explores its use in developing computer programs. Students will learn how to transform general ideas into fascinating demonstrable results in utilizing logical thinking. Offered fall and spring semesters.