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

Четверг, 13 февраля 2020

Таймс, 2 этаж, ауд.204

Описание

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