Во вторник 27 октября 2026 г. состоится семинар «Теоретическое и экспериментальное прог...
Во вторник 27 октября 2026 г. состоится семинар «Теоретическое и экспериментальное программирование» имени В. А. Непомнящего (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.). Время проведения: 17:45-19:00 НСК (13:45-15:00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылкеhttps://telemost.yandex.ru/j/28529522210499 Докладчик: Николай Вячеславович Шилов (Лицей «Надежда Сибири» и ИСИ СО РАН, Новосибирск). Тема: Верификация на кончике пера: мои любимые учебные задачи по спецификации и верификации алгоритмов. «За годы преподавания теории формальной спецификации и верификации у меня накопилось около дюжины задач на спецификацию и верификацию алгоритмов уровня олимпиадной математики ("с изюминкой"). Вот я и хочу поделиться этими красивыми задачами с новыми студентами...»