1
Finite Model Theory
Lecture 1: Overview and Background