Informal Lectures on Formal Semantics