Introduction to semantics