Матлогика + ОКТЧ @diht_logic Channel on Telegram

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

@diht_logic

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

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

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

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

18 Feb, 09:53

#октч

Завтра, в среду, 19 февраля, в 17.05 в Бол. Хим. пройдёт доп. лекция по ОКТЧ. Дело в том, что часть курса опирается на Основную Теорему Арифметики (и есть вопросы в экзамене про разные док-во ОТА), но А.М. обычно про это не рассказывает.
442
Матлогика + ОКТЧ

15 Feb, 12:00

#матлог
Тренировочный вариант к/р по логике на среду, 19 февраля. Если не можете прийти по уважительной причине, сообщите мне в личку (@musatych) до начала контрольной. Лучше сообщите как можно раньше: возможно, мы уместимся в Б.Хим., и не нужна будет вторая аудитория.
666
Матлогика + ОКТЧ

14 Feb, 06:44

А также поздравляю с сегодняшним праздником! Желаю быть влюблёнными в математику и друг в друга!
1,444
Матлогика + ОКТЧ

14 Feb, 06:29

#матлог
#дневниклекций
Позавчера снова было две лекции. Прошли вот что:
(повторение с более подробным доказательством)
- Теорема о трансфинитной рекурсии
- Обобщённая теорема о трансфинитной рекурсии
- Теорема о сравнимости ВУМов
(новый материал)
- Неформальное определение ординалов как порядковых типов
- Транзитивные множества и формальное определение ординалов
- Элемент любого ординала это ординал
- Если к ординалу добавить его самого как ещё один элемент, то получится ординал
- Объединение любого семейства ординалов это ординал
- Ординал вполне упорядочен по отношению принадлежности
- На ординалах принадлежность это то же самое, что начальный отрезок
- Сравнение ординалов (только идея д-ва)
- Сложение ординалов: неформальное определение через сумму ВУМов и формальное индуктивное
- Сложение ординалов ассоциативно, но не коммутативно
- Теорема о вычитании ординалов
- Умножение ординалов: неформальное определение через произведение с обратным лексикографическим порядком и формальное индуктивное
- Несколько примеров на умножение
- Теорема о делении ординалов с остатком
- Возведение в степень: индуктивное определение и явное задание порядка на функциях с конечным носителем. Доказательство фундированности последнего.
- Доказательство 2^ω=ω через оба определения
- Запись ординалов меньше ω^ω как "многочленов от ω" и общая теорема "об ординальной системе счисления" (б/д)
860
Матлогика + ОКТЧ

13 Feb, 17:55

#октч Появилась таблица по ОКТЧ. Просьба отметить все перемещения между группами (в том числе на Продв ОКТЧ).

Если вас нет в таблице (переводники, инд. план) - внизу таблицы есть доп. поля для вас.

https://docs.google.com/spreadsheets/d/1v9YQtZv0sHhew-y3Rsy66WNPAKKzI_iFkHfleNi4UQw/edit?gid=0#gid=0
786
Матлогика + ОКТЧ

12 Feb, 11:58

#матлог
Напоминаю, что сегодня будет 2 лекции по логике, начало в 15:30. Обе лекции в Б.Хим.
945
Матлогика + ОКТЧ

12 Feb, 04:28

#матлог
Это листок про фундированные и вполне упорядоченные множества. В разных группах на него отводится либо один семинар с самостоятельным освоением части материала, либо полтора-два семинара.
929
Матлогика + ОКТЧ

06 Feb, 15:48

#матлог
#дневниклекций
Попробую в этом семестре после каждой лекции кратко записывать, что прошли. Если что важное пропущу, дополняйте. Вчера было две лекции, вот список тем:
- Неформальное введение ординальной записи: многочлены и башни из омег
- Определение фундированности, примеры фундированных и нефундированных множеств. Нефундированность множества слов с лексикографическим порядком
- Эквивалентность фундированности свойствам невозможности бесконечного спуска, стабилизации и принципу трансфинитной индукции
- Определение вполне упорядоченного множества
- Теорема о монотонной функции для ВУМов
- Определение начального отрезка ВУМа. Вариации определения и примеры.
- Теорема: любой начальный отрезок ВУМа - это либо всё множество, либо полуинтервал [0,a)
- Непосредственно следующие элементы
- Предельные элементы ВУМов. Структурная теорема: любой элемент это результат конечного взятия непосредственно следующего от предельного
- Сложение и умножение фундированных множеств и ВУМов
- Структурная теорема: любой ВУМ представляется в виде омега*L+K
- Теорема о трансфинитной рекурсии
- Обобщённая теорема о трансфинитной рекурсии
- Теорема о сравнимости ВУМов (последние 3 с неполным доказательством, подробнее в следующий раз)
1,544
Матлогика + ОКТЧ

06 Feb, 12:33

#матлог
Этот файл многие видели, но выложу сюда тоже. Это задачи семинара про математическую индукцию.
1,243
Матлогика + ОКТЧ

06 Feb, 06:46

#матлог
Отличные новости! Лекция по матлогу тоже будет в Б.Хим., переходить в Б.Физ. больше не надо будет.
1,395
Матлогика + ОКТЧ

05 Feb, 10:17

#матлог
На этот семестр я подготовил подробную программу курса, в т.ч. примерный календарный план. Обратите внимание на систему оценивания и возможность получения бонусного балла. Также напоминаю, что сегодня в 15:30 в Б.Хим. дополнительная лекция по логике.
1,477
Матлогика + ОКТЧ

05 Feb, 07:34

#матлог
Табличка с оценками за этот семестр: https://docs.google.com/spreadsheets/d/1swtARfFTI1gCSvgCQVi4x9z39Cc4gjxHEcymGpL9drU/edit?usp=sharing
Пока что список студентов взять с осени. Обо всех изменениях пишите, пожалуйста, мне в личку (@musatych). Нужно постараться за 2 недели его финализировать.

Также напоминаю, что сегодня 2 лекции по логике: в 15:30 в Б.Хим. и в 17:05 в Б.Физ.
1,253
Матлогика + ОКТЧ

04 Feb, 19:26

Twimc: про переводы между семинаристами на предметах кафедры ДМ. На текущий день формы нет, зав. кафедры предлагает писать заявления: в свободной форме, надо подписать у обоих семинаристов (старого и нового), что они в курсе. Подписанные заявления отнести на кафедру 403 КПМ.
1,153
Матлогика + ОКТЧ

04 Feb, 07:46

#октч В дополнение к предыдущему посту: лекции по ОКТЧ начинаются в четверг.

Продв ОКТЧ - 115 КПМ, 9.00-10.25
ОКТЧ - 115 КПМ 10.45-12.10

В этом семестре планируется проводить 2 семинара по Продв ОКТЧ:
в группе 428 и отдельный семинар в четверг в 18.30-20.05. Желающие ходить/сдавать Продв могут выбирать любой из этих семинаров. Чуть позже будет табличка, где я попрошу отметить все перемещения между группами.
1,242
Матлогика + ОКТЧ

03 Feb, 13:16

#матлог #октч
Поздравляем с началом нового семестра! В первые 3 недели по средам у нас будет нетипичный график, прочтите внимательно:
5 февраля, 15:30 - лекция по логике в Б.Хим.
5 февраля, 17:05 - лекция по логике в Б.Физ.
12 февраля, 15:30 - лекция по логике в Б.Хим.
12 февраля, 17:05 - лекция по логике в Б.Физ.
19 февраля, 16:00 - первая контрольная по логике в Б.Хим. и 115 КПМ
19 февраля, 17:05 - дополнительная лекция по ОКТЧ в Б.Физ. (про основную теорему арифметики)

Далее по средам будет, как обычно, чередование контрольных, потом лекция по логике.

Для групп AI360: мы знаем, что у вас первые 2 недели зимняя школа. Для вас график контрольных будет сдвинут, а материал нужно будет догнать.

Если лекции снова будут сниматься, обратите внимание операторов на изменения.

До встречи послезавтра!
1,441
Матлогика + ОКТЧ

29 Jan, 16:57

#октч Пересдачи по ОКТЧ пройдут 5,26 февраля и 12 марта. Сейчас скорее всего у всех в личном кабинете - неправильно сгенерированные даты пересдач. Официальные даты можно посмотреть тут: https://mipt.ru/upload/%D0%A3%D1%87%D0%B5%D0%B1%D0%BD%D0%BE%D0%B5%20%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5/%D0%A0%D0%B0%D1%81%D0%BF%D0%B8%D1%81%D0%B0%D0%BD%D0%B8%D0%B5%20%D1%81%D0%B5%D1%81%D1%81%D0%B8%D0%B8/%D0%9B%D0%95%D0%A2%D0%9E%202023-2024/%D0%9F%D0%BE%D0%B2%D1%82%D0%BE%D1%80%D0%BD%D0%B0%D1%8F%20%D0%BF%D1%80%D0%BE%D0%BC%D0%B5%D0%B6%D1%83%D1%82%D0%BE%D1%87%D0%BD%D0%B0%D1%8F%20%D0%B0%D1%82%D1%82%D0%B5%D1%81%D1%82%D0%B0%D1%86%D0%B8%D1%8F.docx
1,619
Матлогика + ОКТЧ

08 Jan, 08:53

На завтрашний экзамен немного изменилось расписание: у некоторых студентов время захода сдвинулось на попозже (от 30 минут до 1 часа), см. таблицу.
2,437
Матлогика + ОКТЧ

08 Jan, 08:51

Ссылка на консультацию (сегодня в 16.00):

Topic: Консультация по ОКТЧ
Time: Jan 8, 2025 04:00 PM Moscow
Join Zoom Meeting
https://us06web.zoom.us/j/81058235724?pwd=hwWdJlWDYHCpUOVG18IbJnbaqbaW2I.1

Meeting ID: 810 5823 5724
Passcode: 192964
2,347
Матлогика + ОКТЧ

05 Jan, 11:10

Появилась таблица с расписанием экзамена по ОКТЧ. На каждый день порядок определяется рейтингом: чем он меньше, тем раньше вы заходите в аудиторию. В таблице есть лист Описание, на котором всё написано, на всякий случай напишу основные пункты.

0. Обязательно проверьте, что у вас правильно отображается программа (Классика/Продва/Информатика), которую вы сдаёте.

1. Те, у кого 10 баллов, могут поменять время захода на более раннее.

2. Если вы не планируете отвечать на сложные вопросы - можно отметить это в таблице справа напротив своей строки.

3. Если вы сдаёте ОКТЧ инд. планом, на отдельной странице выбираете дату сдачи.

4. Если у вас есть особая причина прийти на экзамен позже/раньше - пишите на @nograhol, попробуем помочь.

https://docs.google.com/spreadsheets/d/1Qmeed4w3OOl4HNETDXv6uKNb8TWEtxRyb7hxVhihAWo/edit?gid=1161667890#gid=1161667890
2,269
Матлогика + ОКТЧ

02 Jan, 09:21

Дед Мороз немного задержался, готовы предварительные версии программ по ОКТЧ. В течение дня-двух ещё могут быть изменения, но они затронут не больше 10% вопросов (для Продв могут быть чуть больше изменений).

Также сегодня-завтра будет окончательная версия рейтинга, надо проставить контесты, переписывание, проверить что у всех групп всё проверено и выставлено в таблицу.
2,080
Матлогика + ОКТЧ

31 Dec, 19:11

Всех с наступающим (20+25)² годом! Желаю удивительных открытий и радостных озарений!
3,050
Матлогика + ОКТЧ

26 Dec, 08:16

#матлог
Оценки за зачёт выставлены в личные кабинеты, проверяйте. В итоге осталось несколько пересдач, они проводятся по тем же задачам из зачётного листочка. Сроки определяются индивидуально в зависимости от наличия других пересдач, но в среднем в середине февраля. Всем до встречи в весеннем семестре!
2,346
Матлогика + ОКТЧ

25 Dec, 10:07

#октч Переписывание к/р по ОКТЧ для Продв и ПМИ.Информатика планируется в пятницу, 27 декабря с 13.00 до 15.00 [приходить в любое время, начнётся отсчёт 40 минут/1 час 20 минут, в 15.00 работу надо будет сдать, аудитория 206 КПМ]. Если у вас экзамен, то запасной вариант - переписать к/р 9-13 января либо в день вашего экзамена, либо в один из предыдущих дней.
2,272
Матлогика + ОКТЧ

25 Dec, 05:56

Всех, кто сегодня празднует Рождество, с праздником!
2,594
Матлогика + ОКТЧ

18 Dec, 12:21

#матлог #октч
Рассадка на сегодня. Если пишете только ОКТЧ, ищите себя в самом конце. Обратите внимание на аудиторию, она могла поменяться с прошлого раза. Постарайтесь быть на своём месте в 15:35, начало в 15:40 (РАНЬШЕ ОБЫЧНОГО!)
1,951
Матлогика + ОКТЧ

17 Dec, 17:03

#матлог
Завтра можно будет не только написать контрольные, но и сдать часть задач из зачёта устно. Впрочем, число принимающих будет ограничено, так что будут задержки и все желающие вряд ли успеют. Примерное расписание:
13:55-15:20, 202 НК - устный приём задач из зачёта
15:40-16:50, Б.Хим. и 202 НК - совместная к/р по матлогу и ОКТЧ, общий лимит 1 час 10 минут.
17:05-18:30, Б.Хим. и 202 НК - написание пропущенных к/р по матлогу и ОКТЧ. По ОКТЧ запись в посте выше. По матлогу можно проверить в табличке, столбец ZN - номер(а) пропущенных контрольных, в столбцах AAN-ABN видно, какие будут задачи (стоят точки). Если пишете и ОКТЧ, и матлог, то сначала пишите ОКТЧ, потом матлог. Лимит по времени по матлогу - 10 минут на каждую задачу. Параллельно мы будем проверять контрольную по матлогу, и при наличии свободных принимающих сможем принимать устные задачи из зачёта.
18:35-20:00, 202 НК - приходите писать пропущенные к/р по матлогу, если на предыдущей паре пишете ОКТЧ. Также по возможности будем принимать устные задачи.
20:00 - примерно в это время я уеду, но придут двое новых принимающих, так что можно будет сдавать и позже

Если по любой причине не хотите писать к/р по логике и/или переписывание, пишите мне в личку, тогда не будем готовить на вас вариант.
1,832
Матлогика + ОКТЧ

17 Dec, 10:50

#октч Для тех, кто завтра хочет написать пропущенную к/р по ОКТЧ: запишитесь в таблицу. Можно переписывать и несколько к/р (одна строчка = одна к/р), но лимит будет 1 час 20 минут на 2 и более к/р.

https://docs.google.com/spreadsheets/d/1_s_3Dt0NmoZmL_eMSKg26-8i9tVElX44xpnfiE3otkg/edit?gid=0#gid=0
1,627
Матлогика + ОКТЧ

17 Dec, 06:09

#матлог
В этом файле итоговая домашка, она же зачёт. Включены все не выданные или не сданные ранее задачи. Если задача выдавалась 14.12, решайте вариант оттуда, здесь запасной вариант на случай, если тот не зачтён. Если задача из более ранней домашки не проверена, сначала выясните итоговую оценку по ней, задача с каждым номером засчитывается только 1 раз. В табличке появились текущие оценки, так что рассчитывайте, сколько хотите дорешать до нужной оценки. Удачи!
(Как обычно, если в файле есть ошибки, пишите в личку, постараюсь исправить).
Upd. 12:57 файл обновлён, там было некоторое количество лишних задач 41-43, им проставлен нулевой вес, в остальном ничего не поменялось.
Upd2. 20.12 12:05 файл снова обновлён, исправлены мелкие ошибки
1,711
Матлогика + ОКТЧ

15 Dec, 12:05

#матлог
Тренировочный вариант по логике к последней тестовой контрольной (и заодно всем зачётным задачам, включая дополнительные).
1,635
Матлогика + ОКТЧ

14 Dec, 15:53

#матлог
Первая часть зачёта, формально названная шестым домашним заданием. Тут задачи 20-33, а также Д5-Д8 для тех, кто выполнил условия их получения.
Upd: 14.12 в 19:38 выложена новая версия с исправленными ошибками, решайте задачи из неё. Если ещё какие-то ошибки будут обнаружены, пишите в личные сообщения.
1,749
Матлогика + ОКТЧ

14 Dec, 15:15

#матлог
Пороги по оценкам в этом году будут такие:
удовл(3) - 20
удовл(4) - 23.5
хор(5) - 28
хор(6) - 31.5
хор(7) - 35
отл(8) - 40
отл(9) - 44
отл(10) - 50
В ближайшее время они будут отражены в табличке. Поднять текущие баллы можно будет следующими способами:
- тестовая к/р 18 декабря одновременно с ОКТЧ. Будут 4 тестовых задачи, тренировочный вариант готовится.
- переписывание пропущенных по уважительной причине тестовых к/р. Это будет 18 декабря после к/р (возможно, получится также до к/р, следите за объявлениями, устроено будет так, что вы приходите и берёте свой вариант).
- и основное - сдача итогового домашнего задания, также известного как зачёт. Оно будет разбито на 2 части, первая - по задачам с 20 по 33, будет готова в течение часа, вторая - по всем оставшимся задачам, в том числе нерешённым из предыдущих домашек. Будет, надеюсь, завтра вечером, если не буду успевать всё сразу, то ещё подразобью на 2 файла.
1,714
Матлогика + ОКТЧ

11 Dec, 12:14

#октч Рассадка на сегодня. Начнём как обычно.
1,947
Матлогика + ОКТЧ

09 Dec, 10:27

#октч #матлог
18.12 (следующая среда) планируется провести расширенную к/р по ОКТЧ и Логике, покрывающую последние 2-3 недели (14 и 15 темы по ОКТЧ и аналогичные по Логике). Контрольная будет длится ~1 час (время на оба предмета), по ОКТЧ будет одна страница с 2 тестовыми и одной письменной задачей.
Время - примерно с 15.45 до 16.45.

После этого, с 17.05 до 18.30 можно будет написать пропущенные по уважительной причине контрольные по ОКТЧ (и видимо, тестовые части по Логике). По ОКТЧ надо будет записаться в отдельную таблицу [ссылка будет позже] - я проверю, что вы предупреждали о пропуске/у вас есть допуск.
1,980
Матлогика + ОКТЧ

09 Dec, 10:22

#октч 11.12 будет к/р ОКТЧ по 12 и 13 листкам. Темы:

ИНФ
Разбиения и Формальные степенные ряды

Классика+РЭШ
Рекуррентные соотношения и Разбиения

Продв ОКТЧ
Фурье-анализ булевых функций и Разбиения

В 117-й группе в таблице неверно были указаны Классики как Информатики, у вас будет Классика.

В общей таблице можно посмотреть предварительную версию рейтинга, посчитанную по 5 к/р.

По умолчанию можно смотреть предварительный вариант прошлых лет, если там будут не те темы, пишите.
1,747
Матлогика + ОКТЧ

04 Dec, 12:37

#матлог
Рассадка на сегодня. Обратите внимание на аудиторию, она могла поменяться с прошлого раза. Пожалуйста, приходите на своё место к 15:55. Раздача работ в 16:00, время на выполнение 40 минут.
1,984
Матлогика + ОКТЧ

04 Dec, 07:54

#матлог Обнаружена важная ошибка в тренировочном варианте: перепутаны местами тестовые задачи 52 и 53.
52 (сложная про число автоморфизмов) будет только в 417, 421 и 427
53 (общие вопросы про выразимость) - у всех, кроме 412, 415 и 427
1,934
Матлогика + ОКТЧ

04 Dec, 07:23

#матлог
В табличке появились задачи на сегодня. Проверьте на соответствие заявленным правилам, могут быть ошибки. Если пропускаете к/р по уважительной причине, пишите мне (@musatych) с указанием причины, до начала к/р, но лучше до 13:00, чтобы мы не верстали вариант на вас.
1,774
Матлогика + ОКТЧ

03 Dec, 09:20

#матлог
Тренировочный вариант на 7-ю к/р. Файл обновлён в 16:30, всё-таки для нескольких человек, которые очень много решили на прошлой к/р, пара задач добавлена. В паре мест уточнены условия выдачи.
1,747
Матлогика + ОКТЧ

27 Nov, 12:24

Рассадка на сегодня
2,160
Матлогика + ОКТЧ

26 Nov, 16:38

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

Посмотрите в списке, правильно ли указано ПМИ.Информатика. Если есть неточности - пишите (@nograhol). Если не сможете прийти по уважительной причине - также пишите (@nograhol).
2,196
Матлогика + ОКТЧ

25 Nov, 09:06

#матлог Задачи, выданные на контрольной 20 ноября.
2,088
Матлогика + ОКТЧ

20 Nov, 13:28

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

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

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

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

5.12, 12.12 А.М. Райгородский
т. Эрдеша-Гинзбурга-Зива
1,701
Матлогика + ОКТЧ

20 Nov, 12:26

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

20 Nov, 09:12

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

18 Nov, 21:45

#матлог
Тренировочный вариант на к/р 20 ноября.
1,591
Матлогика + ОКТЧ

18 Nov, 09:57

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

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

13 Nov, 11:53

#октч Рассадка на сегодня. Приходите к 15.55. Если не сможете прийти - пишите (@nograhol).
1,946
Матлогика + ОКТЧ

11 Nov, 12:59

#октч

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

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

06 Nov, 15:51

#матлог
Задачи, которые сегодня выдавались
2,373
Матлогика + ОКТЧ

06 Nov, 12:41

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

05 Nov, 15:48

#матлог
Задачи, выданные на прошлой контрольной
2,064
Матлогика + ОКТЧ

05 Nov, 15:21

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

04 Nov, 18:55

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

31 Oct, 22:21

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

31 Oct, 19:56

Всех с праздником! ©
2,994
Матлогика + ОКТЧ

30 Oct, 12:05

#октч Рассадка на сегодня. Приходите к 15.55.
2,091
Матлогика + ОКТЧ

30 Oct, 09:02

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

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

28 Oct, 11:42

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

23 Oct, 12:03

#матлог
Рассадка на сегодня. Будьте на своём месте к 15:55
2,310
Матлогика + ОКТЧ

22 Oct, 17:06

#матлог
Если пропускаете завтрашнюю к/р по уважительной причине, сообщайте мне (@musatych) до начала к/р, а лучше до 13 часов, тогда на вас не будет печататься вариант. В этом случае можно будет написать тестовую часть на зачётной неделе, а обычные задачи появятся на следующей к/р или в домашке без дополнительного штрафа.
1,862
Матлогика + ОКТЧ

22 Oct, 15:39

#матлог
Задачи, выданные на прошлой к/р
1,787
Матлогика + ОКТЧ

21 Oct, 14:59

Новости теории чисел: обновлён рекорд самого большого простого числа, теперь это 2¹³⁶²⁷⁹⁸⁴¹-1. Подробности тут: https://www.mersenne.org/primes/?press=M136279841
3,013
Матлогика + ОКТЧ

21 Oct, 05:43

#матлог
Тренировочный вариант на к/р в среду. Смотрите внимательно по цветной табличке, какие задачи будут в вашей группе. Есть задачи по дополнительным темам, которые появятся только в 1-2 группах. Разметку в табличке с оценками тоже скоро сделаем.
Upd: 21.10, 9:19 файл заменён, группы 422 и 423 были перепутаны местами
1,860
Матлогика + ОКТЧ

16 Oct, 14:02

#октч Завтра лекция по Продв. ОКТЧ в 9.00 переносится из Цифры. 4.18 в 532 ГК.
2,356
Матлогика + ОКТЧ

15 Oct, 17:55

#матлог
Подготовлено третье д/з по логике. Чтобы дедлайн не был прямо перед к/р по ОКТЧ, он сдвинут на пятницу, 1 ноября.
Upd 17.10 - файл заменён, в старом не было задач Д3. Остальные не должны были измениться.
2,318
Матлогика + ОКТЧ

09 Oct, 12:22

#матлог
(дубль файла из чата) - рассадка на контрольную сегодня. Будьте на месте к 15:55, в 16:00 начнём раздавать работы.
2,683
Матлогика + ОКТЧ

06 Oct, 09:43

#матлог
Тренировочный вариант на к/р 9 октября. Смотрите внимательно, какие задачи будут в вашей группе (в том числе из прошлого варианта), таблица на второй странице.
2,814
Матлогика + ОКТЧ

02 Oct, 12:00

Рассадка на сегодня. Начинаем как обычно, в 16.00, лучше приходить чуть пораньше, чтобы успеть найти своё место.
3,087
Матлогика + ОКТЧ

30 Sep, 13:58

#матлог
Тем временем готова вторая домашка по логике (да, сроки разных домашек могут перекрываться). Она пока небольшая: 1 задача про разбор формул и дополнительная задача для тех, кто решил 3-ю.
2,827
Матлогика + ОКТЧ

26 Sep, 11:25

#матлог
Варианты контрольной, выданные вчера (все задачи из всех групп)
3,157
Матлогика + ОКТЧ

25 Sep, 11:43

#матлог
Рассадка на сегодня (лучше качество в комментарии). Все группы перемешаны по двум аудиториям, так что аудитория тоже указана в списке. Сортировка по группе, потом по ФИО. Будьте в 15:55 в своей аудитории.
2,603
Матлогика + ОКТЧ

22 Sep, 19:41

#матлог
В эту среду, 25 сентября, контрольная будет по логике. За выходные мы подготовили тренировочный вариант. В разных группах задачи будут разными, в зависимости от силы группы и того, что успели пройти. В файле приведена таблица, какие задачи будут в каких группах.

Далее, 2 октября будет к/р по ОКТЧ, и это крайний срок выбора между основным и продвинутым курсами.
2,759
Матлогика + ОКТЧ

21 Sep, 16:13

#матлог
Первое домашнее задание на 2 недели, до пн, 7 октября. Формулировка 5-й задачи немного изменена. В файле индивидуальные варианты, упорядочены по группам, потом по фамилии. В конце файла содержание. Сдавайте письменно семинаристу (или устно по договорённости).
2,713
Матлогика + ОКТЧ

19 Sep, 07:22

#матлог Контрольная работа по логике, выдававшаяся вчера
2,716
Матлогика + ОКТЧ

18 Sep, 12:10

#матлог #октч Рассадка на сегодня. Приходите к 15.50, тогда успеете найти своё место и мы сможем вовремя начать. Если вас нет в списках, приходите в 202 НК, посадим вас. Приходите в свою аудиторию (даже если у вас неправильно отмечено Продв ОКТЧ) - сегодня контрольная одинаковая для всех.
2,897
Матлогика + ОКТЧ

18 Sep, 07:25

#матлог #октч Сегодня первая контрольная, она будет по обоим предметам, ОКТЧ и Матлогике. Начало - в 16.00 (приходите не позже 15:55). Все, кто в таблице записался на продв. ОКТЧ - идут в 202 НК, остальные - в Бол. Хим.

Предварительное распределение (с группами) можно посмотреть тут. Если кто-то делал правки в таблице по ОКТЧ (добавление/исправление группы), они ещё не внесены.

Если надо поменять группу по ОКТЧ, можно исправить таблицу, ОКТЧ будет подправлено перед к/р. По МатЛогике изменения присылайте Даниилу Владимировичу.

Если вы не можете прийти на к/р по уважительной причине, напишите мне (@nograhol) и Даниилу Владимировичу (@musatych) об этом.
2,756
Матлогика + ОКТЧ

16 Sep, 10:40

#матлог
Предварительная табличка с результатами контрольных по логике: https://docs.google.com/spreadsheets/d/1euihdzaKXWKu9kW19n7kTtmqCr3AetRRVxpYGi2NW74/edit?usp=sharing
Если вас там нет, или неправильные/неполные данные, то напишите мне в личку (@musatych). Также, если пропустите контрольную в среду по уважительной причине, пишите до начала контрольной с указанием причины.
2,723
Матлогика + ОКТЧ

15 Sep, 05:35

#матлог
Тренировочный вариант контрольной по матлогике в среду. Пока что во всех группах будет одинаково и как в прошлом году. Первые 2 задачи тестовые, 3-я проверяется по ответу, но считается обычной и переходит на следующий раз, если не решена.
2,759
Матлогика + ОКТЧ

11 Sep, 12:36

#октч Уже завтра, 12 сентября, в четверг будет отдельная лекция для продв. ОКТЧ. Так как вас много, то аудитория будет побольше.

Продв. ОКТЧ - поточная аудитория Цифры, 4.18-5.17 (это 4-й этаж), 9.00-10.25
Обычное ОКТЧ - 115 КПМ, 10.45-12.10.
2,859
Матлогика + ОКТЧ

11 Sep, 12:33

#матлог Напоминаю, что сейчас будет дополнительная лекция по матлогу, начало в 16:00. Мы докажем теорему об однозначности разбора для пропозициональных формул. На лекции в обычное время (17:05) начнём булевы функции.
2,721
Матлогика + ОКТЧ

11 Sep, 12:17

#октч На всякий случай отдельно напишу, что планируется перевести 421, 424, 428 на продв. ОКТЧ, в остальных группах будет обычный ОКТЧ. У 424 и 428 уже в эту пятницу будет немного другой набор задач для семинара, для 421 в след. среду также будет немного другой набор задач.
2,586
Матлогика + ОКТЧ

11 Sep, 12:15

#октч Информация по ОКТЧ и продв. ОКТЧ.
Есть общая папка по ОКТЧ, туда будут выкладываться семинары и будет таблица с рейтингом, там же можно посмотреть архив - листки и какие-то контрольные предыдущих лет.
https://drive.google.com/drive/u/1/folders/1vPhKQRKD3SSHiHZJAe1M-Hw9Ql3x017H

Там же есть таблица со списком студентов, вот ссылка на неё.

https://docs.google.com/spreadsheets/d/15Y9sML_1_Vtyrdun6qEOnjRXrmZk8t7oQnacLra7TqI/edit?gid=0#gid=0

В таблице могут быть неточности.

1. Если ваше ФИО написано неверно, можно мне в личку написать изменения, я поправлю.

2. Если вас нет в таблице, то можно себя добавить, внизу есть свободные строчки.

3. Также нужно выбрать, куда вы будете ходить на семинары. Для этого вы напротив вашей фамилии выбираете тот семинар, куда вы будете ходить.

По умолчанию там стоит ваша группа, но
группы 421, 424, 428 переводятся на продв. ОКТЧ.
Это значит, что по умолчанию
- если вы в 421, 424, 428 и хотите продв. ОКТЧ - идёте к себе на семинар

- если вы из 426-й группы и хотите продв. ОКТЧ - идёте к 424(расписание вроде бы вам позволяет это сделать)

- если вы из других групп и хотите продв. ОКТЧ - идёте на семинар в пятницу вечером

- если вы из 421, 424 и 428 и хотите обычное ОКТЧ - идёте к любой другой группе с обычным ОКТЧ. Расписание позволяет 421 и 428-й группе ходить к 427-й, 424 - к 426 или 414.

Только учтите, что на этой неделе надо обязательно куда-то сходить (если у вас семинар в пятницу, а по новому расписанию в понедельник, то надо сходить и в пятницу, и в понедельник).

Я боюсь, что не всё выше написанное понятно, задавайте вопросы!
2,773
Матлогика + ОКТЧ

10 Sep, 08:12

Объявление в основном для тех, кто уже прошёл курс, но самым сильным первокурсникам тоже может быть интересно.

В этом семестре Николай Константинович Верещагин (МГУ) читает спецкурс про апериодические замощения. Проходит по вторникам 18:30-20:05 в Зуме. Первое занятие сегодня.

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

Более подробная программа: https://www.dropbox.com/s/tvfij3mbjzdfngt/program.pdf?dl=0

Ссылку на зум и в телеграм-чат вышлю по запросу (@musatych). Перезачесть в МФТИ вряд ли получится, но можно будет найти исследовательскую задачу, например, для матпрактикума.
2,183

1,514

subscribers

82

photos

780

videos
Best Similar Channel
Т-Образование Telegram Channel
Т-Образование
94,887 subscribers
@tbank_education
Мои любимые юморески Telegram Channel
Мои любимые юморески
85,934 subscribers
@myfavoritejumoreski
Young&&Yandex Telegram Channel
Young&&Yandex
81,096 subscribers
@young_and_yandex
Поступашки - ШАД, Стажировки и Магистратура Telegram Channel
Поступашки - ШАД, Стажировки и Магистратура
35,331 subscribers
@postypashki_old
Поступашки - Олимпиады, ЕГЭ, ДВИ Telegram Channel
Поступашки - Олимпиады, ЕГЭ, ДВИ
27,162 subscribers
@postupashki
Love. Death. Transformers. Telegram Channel
Love. Death. Transformers.
18,696 subscribers
@lovedeathtransformers
МФТИ — Физтех Telegram Channel
МФТИ — Физтех
15,202 subscribers
@miptru
Непрерывное математическое образование Telegram Channel
Непрерывное математическое образование
11,043 subscribers
@cme_channel
Олимпиадная геометрия Telegram Channel
Олимпиадная геометрия
8,762 subscribers
@olympgeom
Алгоритмы - Собеседования, Олимпиады, ШАД Telegram Channel
Алгоритмы - Собеседования, Олимпиады, ШАД
8,636 subscribers
@algoses
Random Similar Channel
Поступач Telegram Channel
Поступач
5,536 subscribers
@postypashki_mems
Задачи DS - Собеседования, Соревнования, ШАД Telegram Channel
Задачи DS - Собеседования, Соревнования, ШАД
4,891 subscribers
@zadachi_ds
NERCNews Telegram Channel
NERCNews
3,182 subscribers
@nercnews
Вотяков | Саморазвитие Telegram Channel
Вотяков | Саморазвитие
7,320 subscribers
@votyakov_ar_life
Денис Айвазов. Технарские метафоры Telegram Channel
Денис Айвазов. Технарские метафоры
4,183 subscribers
@techmeta
Международные стажировки Telegram Channel
Международные стажировки
2,366 subscribers
@mipt_internships_channel
Дневник физика Telegram Channel
Дневник физика
3,372 subscribers
@physicist_notes
два семь три два пять Telegram Channel
два семь три два пять
1,623 subscribers
@blog_27325
Art of Code Telegram Channel
Art of Code
2,153 subscribers
@codeof_art
Т-Поколение Алгоритмы и структуры данных Telegram Channel
Т-Поколение Алгоритмы и структуры данных
4,080 subscribers
@t_gen_alg

2025 All Right Reserved

Disclaimer: The content displayed on this website is solely provided by the respective Telegram channels. We hold no ownership or responsibility for the content shared by these channels.