Introduction to Logic and AI at Imperial College London