Для ЦОО: о практической части курса «Математическая логика и теория автоматов»

1. Сегодня последняя очная лекция, дальнейшие занятия будут проходить дистанционно и будут посвящены выполнению и загрузке практических работ.
2. Задания практических работ — по вариантам. Номер варианта — Ваш номер в списке
3. Задания брать здесь: https://cloud.mail.ru/public/XXX1/DBT1EWxm2
4. Примеры решения работ — там же
5. Всего работ — 4. Файлы с результатами выполнения загружать сюда: https://cloud.mail.ru/public/iBtq/GsGvxqDo4
6. При загрузке указывайте фамилию и группу
7. Результаты проверки будут в файле «Результаты проверки работ» в той же папке
8. Загружать выполненные работы можно в любое время, но крайний срок загрузки — 27.12, 15:00 по местному времени. Всё, что будет загружено позже указанного срока, рассматриваться не будет.
9. Форма отчётности — экзамен. Для получения автоматом «удовлетворительно» надо сдать 3 работы, автоматом «хорошо» — 4 работы. Для получения оценки «отлично» необходимо сдавать экзамен.