This course is intended not only as an overview of the modern field of semantics but also as a source for the acquisition of formal tools for semantic analysis. These tools allow us to compositionally interpret different syntactic structures available across languages.