Some lecture notes

Lecture 1: Course overview; logic in AI

Lecture 2: Representing knowledge in FOL

Lecture 3: Semantics of FOL