Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 7. Индуктивные отношения

Индуктивные отношения. Язык структурированных доказательств Isar. 00:00:15 Ключевое слово inductive. Ключевое слово inductive_set 00:08:48 Примеры (код) 00:26:27 Введение в Isar. Структура доказательства. Синтаксис 00:35:15 Примеры (код) 00:43:26 Структурированные утверждения. Шаблоны доказательств (теория и код) Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #мгу #мехмат #миронов #формальнаясемантикапо #верификацияпо