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

Среда, 10 февраля 2021

Онлайн, занятие в zoom

Описание

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