uk
Feedback

Не попадись на ботовода! Telemetrio знаходить і позначає такі канали мітками 👉 Хочеш бачити мітку, оформляй підписку

Матлогика + ОКТЧ

Матлогика + ОКТЧ

Відкрити в Telegram

Канал для рассылки новостей по курсам "Математическая логика и теория алгоритмов" и "Основы комбинаторики и теории чисел" для первого курса ФИВТ МФТИ

Показати більше
1 935
Підписники
-324 години
Немає даних7 днів
-1930 днів
Архів дописів
Дополнение: рассадка для студентов группы 529, пишущих к/р по логике.

Рассадка на сегодняшнюю к/р по ОКТЧ. Планируем начать в 16.00, как обычно. Если заметите неточности в рассадке - пишите.

Поскольку удалёнка в 529 группе закончилась, а ОКТЧ они не сдают, мы решили всё же провести к/р 28 октября в обычное время. Список задач в приложенном файле и в табличке. Если всё же не придёте, напишите в директ (в этот раз можно пропустить и без уважительной причины, но только в этот).

Тренировочный вариант по ОКТЧ для к/р в среду, 28 октября. Темы: 6 и 7 листки. Продв: если нужны будут картинки, пишите, попробую отыскать и выложить в чат.

Также напоминаем, что на лекции по логике сегодня будет замена - Иван Смирнов прочтёт про задачу о выполнимости КНФ, метод резолюций и, если будет время, про алгоритмы проверки выполнимости.

Рассадка на сегодняшнюю к/р. Приходите в аудитории к 15:50, раздача условий в 16:00. Тут есть многие из тех, кто сообщили о пропуске сегодня, это не ошибка. Если вдруг найдётся повтор мест, срочно напишите, но вроде бы все баги выловлены.

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

Файл в предыдущем сообщении заменён, информация по всем группам заполнена. Возможны небольшие изменения или исправление ошибок.

Черновой вариант тренировочного варианта на среду. Сейчас вылетаю в командировку в Китай, надеюсь после приземления заполнить пробелы в оставшихся группах. Группа 529 временно на удалёнке, у неё будет увеличенное домашнее задание, а в конце семестра дополнительная к/р по тестовым задачам.

Новая рассадка, теперь должно быть всё в порядке, пишите если что.

Рассадка на сегодняшнюю к/р по ОКТЧ. Приходите к 16.00, постараемся вовремя начать.

Тренировочный вариант к/р на сегодня. Начинаем, как обычно, в 16.00. Пишите в директ, если пропускаете по уважительной причине.

#матлог Файл домашки заменён, найденные ошибки исправлены. Если уже скачали себе, скачайте заново, особенно если вы в группах с 614 по 622 (там была рассинхронизация имён и наборов задач). Если уже начали решать, то вне этих групп задачи не изменились, в ином случае договоритесь о зачёте решённого вами варианта.

#матлог Готова третья домашняя работа по логике. В этот раз она довольно объёмная: 3-4 домашние задачи для всех (в разных группах разные), не решённые на контрольных задачи №1, а в отдельных группах и №4-8, а также дополнительные Д1-Д3 для тех, кто уже достаточно нарешал основных. Срок сдачи - 26 октября. Если обнаружите неточности в файле, пишите в директ-сообщения или прямо в комментарии, если ошибка массовая.

#матлог Варианты сегодняшней контрольной

Чтобы вам было проще ориентироваться, мы нарисовали карту рассадки. Она общая для обоих курсов, только на ОКТЧ места 0 и 10 не используются (т.к. на одну группу меньше).

#матлог Рассадка на сегодня. Проверьте, что вы есть в файле в правильной группе (исключены сообщившие о пропуске). Если пропускаете по уважительной причине, пишите до начала кр в директ-сообщения канала (иконка с облачком) с указанием причины.

#матлог Предварительная версия демо-варианта кр в среду. Пока что не отражены результаты кр2 в 616 и 622 группах. Там решённые задачи будут заменены на следующие, т.е. с пометками 1(1) и 1(2) в цветной табличке. Рассадку я для ясности вообще убрал, файл отсортирован по группе и фамилии. Проверяйте, что ваши задачи соответствуют заявленному, об ошибках сообщайте в директ канала или в чат, если ошибка массовая. Если пропускаете кр по уважительной причине, пишите в директ (иконка с облачком) с указанием причины.

#матлог Тренировочный вариант контрольной на среду. Траектории разных групп и разных студентов сильно разошлись. Ищите в файле цветную табличку, в строке с номером вашей группы написано, какие задачи вас ожидают. Демо-вариант также постараемся сделать, там будут написаны лично ваши задачи.

#октч Рассадка на сегодня. Пишите, если себя не нашли. Напоминаю, что сегодня к/р начинается на 20 минут раньше! Постарайтесь не опаздывать.