mathematical semantics en · NOUN Meanings (uncountable) A study of formal semantics of computer languages, such as denotational semantics.