Shilov14apr26

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