Topics to be studied include but are not limited to the following: classical problems in artificial intelligence, knowledge representation, state-space search techniques, image processing, neural networks, pattern matching, machine reasoning, and problem solving using LISP.