Семантика - это система определений с точки зрения программирования, которая прописывает смысл, поведение и предназначение конструкций, предложений и фраз языка программирования, который используется для написания необходимых алгоритмов. (Определение дал/дала Студент-ботаник)
