CS 405 Artificial Intelligence
This course introduces the basic ideas and techniques underlying the design of intelligent computer systems. A specific emphasis will be on the methodology used to treat knowledge representation, formal logic (classical propositional logic, first order predicate logic, automated theorem proving), pattern recognition; natural and programming language processing.
Prerequisite
Take CS-158 or CS-307 with a minimum grade of C- Must be completed prior to taking this course.