CS325 Logic and Algorithms

Prerequisites: CS 201 An introduction to formal logic and its application to algorithmic problem specification and to the design, testing, and verification of algorithms. Includes an introduction to the theory of algorithmic computability.