Lectures

Introduction to AI
Problem solving as search
Uninformed search
Heuristic search - A*
Simulated annealing
Genetic algorithms
Game playing
Introduction to Scheme
Programming in Scheme
More programming in Scheme
Knowledge representation
First order logic (FOL)
Propositional calculus vs FOL
Inference in FOL
Introduction to Robotics
Applications of Robotics
Planning for Robots
Planning with uncertainty
Introduction to Prolog
Learning: Inductive learning and decision trees
Neural Networks (NNs)
More NNs - Back propagation
Reinforcement learning