Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности вы можете узнать у организаторов события.
Изучаем математические законы за написанием надёжного софта с целью: делать лучше. http://iacsv.kocherga.club/
Изучаем математические законы за написанием надёжного софта с целью: делать лучше.
К этому семинару задание дочитать Basics, прочитать Induction, и сделать все упражнения.
Если что-то не получится или будет непонятно сформулировать это и спросить на встрече; задание сделано, если оно зелёненькое; проверить всё до курсора Ctrl-→ в CoqIDE. Так можно прокликивать через каждую тактику.
С собой понадобится ноутбук с CoqIDE или Proof General.
Литература:
Дальнейшие материалы будут появляться на странице курса (http://iacsv.kocherga.club/) и на форуме (ссылка там же). Пожалуйста, зарегистрируйтесь на форуме после этого wldhx даст вам доступ к автогрейдеру.
Встреча пройдёт в понедельник 21 января, в 19:30, в антикафе Кочерга.