Значення

значень: 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
formal semantics — значення, приклади, форми, синоніми | Krumeto