Introduction to AI concepts and methods for problem solving, heuristic search, planning, hypothesis formation, modeling and knowledge representation, knowledge acquisition (Learning), and AI programming methodologies and tools. Applications of AI in areas of theorem proving and game playing.