Lecture: Semantics and Computational Semantics

Topics: logic and language, formal theories, formal semantics, unification, first-order logic, predicate logic, propositional logic, semantics, computational semantics, meaning representation, connotation, denotation.