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. This online class has optional live sessions, and it is taught through the RIZE consortium and cannot be dropped without informing the Registrar's Office in writing.

Credits

3

Prerequisite

CS201 [minimum grade = D-] or CS201 [transfer credit]