This course is an introduction to computational theories of human cognition. Drawing on formal models from classic and contemporary artificial intelligence, we will explore fundamental issues in human knowledge representation, inductive learning and reasoning. What are the forms that our knowledge of the world takes?