Introduction to understanding the fundamental concepts and techniques of intelligent systems. Explores state-space and problem-induction representations of problems; Heuristic methods; Mechanical theorem proving and how these methods can be applied to artificial intelligence problems.