Зачет по мат. логике - 3 июня (пятница), с 9 до 10, на кафедре ПМ. Сообщите, пожалуйста, своим одногруппникам. Отчеты по лабораторным - обязательно. Также хорошо, если кто-то принесет ноутбук, на котором можно посмотреть лабораторные (компьютерные классы в пятницу утром обычно закрыты).
