Introduction to Formal Semantics, 7.5 credits