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

@diht_logic

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

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

Друзья, рады представить вам канал "Матлогика + ОКТЧ"! Этот канал создан специально для студентов первого курса ФИВТ МФТИ, которые изучают курсы "Математическая логика и теория алгоритмов" и "Основы комбинаторики и теории чисел". Здесь вы найдете самые свежие новости, объявления и материалы по данным курсам. Мы постараемся информировать вас о всех важных событиях, изменениях в учебном процессе и любой другой полезной информации. Присоединяйтесь к нам, чтобы быть в курсе всех обновлений и не пропустить ничего важного! Будьте успешными в своем обучении и развитии с нашим каналом "Матлогика + ОКТЧ"!

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

20 Nov, 13:28

#октч На всякий случай сюда тоже напишу: завтра лекция по Продв ОКТЧ состоится, приходите (лектор нашелся)!

План по продв ОКТЧ на оставшиеся лекции:

завтра, 21.11 Д.В. Мусатов Анализ булевых функций

28.11 И. Н. Смирнов
Разбиения

5.12, 12.12 А.М. Райгородский
т. Эрдеша-Гинзбурга-Зива

649

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

20 Nov, 12:26

#матлог
Рассадка на сегодня. Обратите внимание на аудиторию, она могла измениться с прошлого раза. Будьте на своём месте к 15:55, в 16:00 будет раздача условий.

663

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

20 Nov, 09:12

#матлог
Если пропускаете сегодня контрольную по уважительной причине, пишите об этом в телеграм @musatych до начала контрольной с указанием причины. Желательно написать до 13:30, чтобы мы не печатали вариант на вас.

718

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

18 Nov, 21:45

#матлог
Тренировочный вариант на к/р 20 ноября.

779

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

18 Nov, 09:57

#матлог
Готова очередная домашняя работа, на 2 недели. Вновь задачи есть не у всех. Тренировочный вариант будет сегодня вечером.

Upd: 18.11 17:08 - файл заменён, ошибки исправлены. Задачи получились новые, по возможности решайте из нового файла.

792

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

13 Nov, 11:53

#октч Рассадка на сегодня. Приходите к 15.55. Если не сможете прийти - пишите (@nograhol).

1,417

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

11 Nov, 12:59

#октч

В среду контрольная будет по 8 и 9 листкам:
- Классика, РЭШ, Инф - Комбинаторика-2 (Тождества, Полин. формула) + Формула вкл и искл.
- Продв: формула обращения Мёбиуса + мульт. функции + лемма Бернсайда

Решения прошлой к/р для Классики - в прилож. Тренировочный вариант - можно использовать прошлогодний, его уже выложили в чате.

1,409

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

06 Nov, 15:51

#матлог
Задачи, которые сегодня выдавались

1,865

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

06 Nov, 12:41

#матлог
Рассадка на сегодня. Аудитория могла поменяться с прошлой недели, проверяйте её тоже. Начало в 16:00, постарайтесь подойти к 15:55. Если пропускаете по уважительной причине, успейте написать мне (@musatych) до начала контрольной с указанием причины.

1,756

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

05 Nov, 15:48

#матлог
Задачи, выданные на прошлой контрольной

1,670

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

05 Nov, 15:21

#матлог
Объявления:
1) В табличке появились задачи, которые должны появиться завтра на к/р. Проверьте, что у вас они посчитаны корректно, в соответствии с написанным в тренировочном варианте. Если пропускаете завтра к/р по уважительной причине, пишите мне (@musatych) до начала к/р, но лучше до 13 часов, чтобы мы не верстали и не печатали вариант на вас.
2) Завтра меня на лекции заменит Константин Ковалёв.

1,579

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

04 Nov, 18:55

#матлог Готов тренировочный вариант на послезавтра. Система оценивания по некоторым тестовым задачам будет уточняться, возможны изменения даже после к/р в зависимости от реально получившейся сложности задачи. Появился новый тип задач - бонусные. Это для тех, кто всё или почти всё решил на прошлой к/р, при незачёте они переносятся не на следующий раз, а в домашку и под другим Д-номером.

1,561

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

31 Oct, 22:21

#матлог Разумеется, именно в такую ночь должна появиться новая домашка. В этот раз у нескольких студентов нет ни одной задачи, а в целом есть задачи всех видов - нерешённые на к/р, дополнительные и у некоторых групп отдельные домашние.

2,046

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

31 Oct, 19:56

Всех с праздником! ©

2,725

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

30 Oct, 12:05

#октч Рассадка на сегодня. Приходите к 15.55.

1,860

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

30 Oct, 09:02

#октч Если вы не сможете прийти сегодня на контрольную по уважительной причине, напишите мне (@nograhol) в телеграм.

Для пропущенных контрольных будет отдельное время для их написания, обычно это происходит во время зачётной недели после написания последнего теста по Логике/ОКТЧ. В этом году это будет 18 декабря.

1,773

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

28 Oct, 11:42

#октч Темы для к/р по ОКТЧ - листки 6 и 7.
Классика, РЭШ,Инф: Сумма и произведение порядков. Предпорядки, Простейшая комбинаторика
Продв ОКТЧ:
Простейшая комбинаторика (+ тождества и формула вкл-искл)
Предпорядки. Решётки
Также есть решения задач предыдущей к/р.

1,977