Семантика и её значение

Среда, 10 февраля 2021
Онлайн, занятие в zoom

Описание

  • Что такое семантика, и зачем она нужна?
  • Способы задания семантики.
  • Семантика большого шага для языка выражений.
  • Эквивалентность выражений.
  • Свёртка констант и её корректность.