Нестандартные логики, осенний семестр 2026 2026-10-01

Докладчик: Николай Вячеславович Шилов (Лицей 22 "Надежда Сибири" и ИСИ им. А.П. Ершова СО РАН) Тема: Путеводитель (для начинающих) по стране Формальной Семантики Программ Аннотация: Три основных исторически сложившихся «провинции» страны Формальной Семантики Программ – это Операционная Семантика, Денотационная Семантика и Аксиоматическая Семантика. Приглашаю студентов, кто только начинает путешествие по этой стране, познакомиться с общедоступным путеводителем. Данное выступление на семинаре Нестандартные логики им. Л.Л.Максимовой" (01.10.2026) является исправленной версией доклада (https://rutube.ru/video/05e1b22cbed205dc0bd3cbc0e0630a23/?playlist=475811) на семинаре Теоретического и экспериментального программирования им. В.А. Непомнящего.