Шилов14окт25

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