Докладчик: Николай Вячеславович Шилов (преподаватель Лицея 22 «Надежда Сибири»)

Тема: Путеводитель (для начинающих) по стране Формальной Семантики Программ (первая часть)

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