Значение

значений: 2
  1. (неисчисляемое)The study of the semantics, or interpretations, of formal languages.

  2. (неисчисляемое)The rigorous mathematical study of the meaning of programming languages

Ещё определения
  • the branch of semantics that studies the logical aspects of meaning

Переводы

языков: 2
formal semantics — значение, примеры, формы, синонимы | Krumeto