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. Pre-Requisite: CS 240 with a minimum grade of “C”.
Prerequisite
CS 340