• 21 января, понедельник
  • Москва, ул. Большая Дорогомиловская, д.5к2

Introduction to applied constructive software verification: Basics (cont'd), Induction

Регистрация на событие закрыта

Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.

Другие события организатора

3 дня назад
21 января c 19:30 до 22:10
Москва
ул. Большая Дорогомиловская, д.5к2

Изучаем математические законы за написанием надёжного софта с целью: делать лучше. http://iacsv.kocherga.club/

Изучаем математические законы за написанием надёжного софта с целью: делать лучше.

К этому семинару задание — дочитать Basics, прочитать Induction, и сделать все упражнения.

Если что-то не получится или будет непонятно — сформулировать это и спросить на встрече; задание сделано, если оно зелёненькое; проверить всё до курсора — Ctrl-→ в CoqIDE. Так можно прокликивать через каждую тактику.

С собой понадобится ноутбук с CoqIDE или Proof General.

Литература:

Дальнейшие материалы будут появляться на странице курса (http://iacsv.kocherga.club/) и на форуме (ссылка там же). Пожалуйста, зарегистрируйтесь на форуме — после этого wldhx даст вам доступ к автогрейдеру.


Встреча пройдёт в понедельник 21 января, в 19:30, в антикафе Кочерга.

Регистрация

Рекомендуемые события

Организуете события? Обратите внимание на TimePad!

Профессиональная билетная система, статистика продаж 24/7, выгрузка списков участников, встроенные инструменты продвижения, личный кабинет для самостоятельного управления и еще много чего интересного.

Узнать больше