Шилов07апр26

Докладчик: Николай Вячеславович Шилов преподаватель Лицея 22 Надежда Сибири Тема: Путеводитель для начинающих по стране Формальной Семантики Программ первая часть Аннотация: Три основных исторически сложившихся провинции страны Формальной Семантики Программ это Операционная Семантика Денотационная Семантика и Аксиоматическая Семантика.
Приглашаю студентов кто только начинает путешествие по этой стране познакомиться с общедоступным путеводителем.
В первой части дано понятие операционной семантики.

Источник: rutube.ru