|Course Title||ARTIFICIAL INTELLIGENCE|
|Full Title||Artificial Intelligence|
|Description||Heuristic approaches to problem solving. Systematic methods of search of the problem state space. Theorem proving by machine. Resolution principle and its applications.|
|Prerequisite||Computer Science 310 and either Mathematics 245 or 523.|
Registration for this course will be open to CS minors on June 8, 2021 and all non-CS majors on July 5, 2021.