Topics: propositional logic, first-order predicate logic, limitations of logic, PROLOG, search, games, problem solving, reasoning with uncertainty, machine learning, data mining, neural networks, reinforcement learning