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