Матлогика + ОКТЧ
Відкрити в Telegram
Канал для рассылки новостей по курсам "Математическая логика и теория алгоритмов" и "Основы комбинаторики и теории чисел" для первого курса ФИВТ МФТИ
Показати більше1 966
Підписники
-124 години
-307 днів
+26630 днів
Триває завантаження даних...
Схожі канали
Хмара тегів
Вхідні та вихідні згадування
---
---
---
---
---
---
Залучення підписників
вересень '26
вересень '26
+163
в 0 каналах
серпень '26
+244
в 0 каналах
Get PRO
липень '26
+9
в 0 каналах
Get PRO
червень '26
+14
в 0 каналах
Get PRO
травень '26
+9
в 0 каналах
Get PRO
квітень '26
+14
в 0 каналах
Get PRO
березень '26
+21
в 0 каналах
Get PRO
лютий '26
+19
в 0 каналах
Get PRO
січень '26
+10
в 0 каналах
Get PRO
грудень '25
+19
в 0 каналах
Get PRO
листопад '25
+14
в 0 каналах
Get PRO
жовтень '25
+29
в 0 каналах
Get PRO
вересень '25
+254
в 0 каналах
Get PRO
серпень '25
+27
в 0 каналах
Get PRO
липень '25
+15
в 0 каналах
Get PRO
червень '25
+17
в 0 каналах
Get PRO
травень '25
+11
в 0 каналах
Get PRO
квітень '25
+16
в 0 каналах
Get PRO
березень '25
+14
в 0 каналах
Get PRO
лютий '25
+22
в 1 каналах
Get PRO
січень '25
+23
в 0 каналах
Get PRO
грудень '24
+15
в 1 каналах
Get PRO
листопад '24
+28
в 0 каналах
Get PRO
жовтень '24
+39
в 1 каналах
Get PRO
вересень '24
+242
в 0 каналах
Get PRO
серпень '24
+28
в 0 каналах
Get PRO
липень '24
+25
в 0 каналах
Get PRO
червень '24
+26
в 0 каналах
Get PRO
травень '24
+21
в 0 каналах
Get PRO
квітень '24
+23
в 0 каналах
Get PRO
березень '24
+24
в 0 каналах
Get PRO
лютий '24
+23
в 0 каналах
Get PRO
січень '24
+30
в 1 каналах
Get PRO
грудень '23
+1 099
в 0 каналах
| Дата | Залучення підписників | Згадування | Канали | |
| 16 вересня | +1 | |||
| 15 вересня | +2 | |||
| 14 вересня | +1 | |||
| 13 вересня | +1 | |||
| 12 вересня | 0 | |||
| 11 вересня | 0 | |||
| 10 вересня | +1 | |||
| 09 вересня | +1 | |||
| 08 вересня | +1 | |||
| 07 вересня | +5 | |||
| 06 вересня | +4 | |||
| 05 вересня | +3 | |||
| 04 вересня | +5 | |||
| 03 вересня | +10 | |||
| 02 вересня | +53 | |||
| 01 вересня | +75 |
Дописи каналу
Файл с рассадкой обновлён, проверьте своё место, если вы в Б.Хим., мог быть небольшой сдвиг
| 2 | Рассадка на к/р на сегодня (2 аудитории: Б.Физ. и Б.Хим.) Начало в 16:00, приходите к 15:50. Если вы заявляли о пропуске, то вас в этом файле не должно быть. Если будете, но не нашли себя, срочно напишите в директ (иконка с облачком на странице канала). Если пропускаете по уважительной причине, но пока не сообщили, тоже напишите в директ с указанием причины. | 744 |
| 3 | Это демо-вариант к/р на сегодня. Там набор задач такой же, как будет на к/р, но пока без условий. Рассадка ещё поменяется, текущую игнорируйте. Если пишете к/р, найдите себя в файле поиском по фамилии и проверьте, что группа правильная. Если пропускаете по уважительной причине, напишите об этом до начала к/р в директ-сообщения канала с указанием причины пропуска. | 779 |
| 4 | В табличку внесены изменения по вашим заявкам и новым спискам групп от 14 сентября. Рассадка и варианты на завтрашнюю к/р будут готовиться по ней, так что проверьте ещё раз. Студенты, которые пишут только ОКТЧ, в самом низу. В случае разночтений пишите в директ-сообщения канала (иконка с облачком).
Если вы пропускаете к/р по уважительной причине, также напишите об этом в директ-сообщения с указанием причины до начала контрольной. В этом случае по логике можно переписать тестовую часть к/р в декабре, а обычные задачи перейдут на следующий раз без снижения оценки. По ОКТЧ просто переписать в декабре. | 827 |
| 5 | #матлог
Готова предварительная версия таблички для оценок: https://docs.google.com/spreadsheets/d/1Fegv5vc58kG60pIzO-oorvSNZwbBPC1vU_JT4kU4xvQ/edit?usp=sharing
Таблица упорядочена по семинарским группам, потом по фамилии. Она будет использоваться для генерации индивидуальных вариантов в среду.
Пожалуйста, в следующих случаях напишите в директ-сообщения канала (иконка с облачком):
- Вы сдаёте курс, но не нашли себя в таблице (либо досдаёте как академическую разницу, либо вас почему-то не было в списке от 2 сентября)
- Вы или кто-то, кого вы знаете, есть в списке, но на курс ходить не будет.
- Вы записаны в неправильной группе (при этом, если вы ходите на семинары в другую группу, это обязательно нужно оформить документально). | 864 |
| 6 | #матлог
Служебный пост с информацией на осень 2026 для курса по логике (будет уточняться и дополняться).
Оргвопросы по курсу - пишите в директ-сообщения канала
Расписание:
Лекции - Даниил Мусатов, среда, 17:05, Б.Хим.
Контрольные (совместно с ОКТЧ, мигающие, с 16 сентября) - среда, 15:30, Б.Физ./Б.Хим.
Семинары:
529 (ЦУ) - Алексей Закиров, ср, 13:55, 426 ГК
611 (Инф-осн) - Виталий Пырэу, чт, 12:10, 230 ГК
612 (РЭШ) - Даниил Мусатов, чт, 12:10, 417 ГК
613 (Инф-осн) - Владимир Яцулевич, вт, 10:35, 518 ГК
614 (Инф-осн) - Алексей Бердников, вт, 15:30, 413 ГК
615 (Инф-продв) - Виталий Пырэу, вт, 10:35, 520 ГК
616 (Матем-база+осн) - Иван Смирнов, пн, 9:00, 9238 Тим
617 (Класс-осн) - Никита Андрусов, вт, 17:05, 907 КПМ
618 (Класс-осн) - Александр Мирошников, чт, 15:30, 535 ГК
621 (AI360-осн) - Алексей Бердников, пт, 13:55, 535 ГК
622 (AI360-осн+продв) - Игорь Шиманогов, вт, 12:10, 520 ГК
623 (Класс-осн) - Всеволод Нагибин, пн, 9:00, 9241-42 Тим
624 (Класс-осн) - Александр Колпащиков, пт, 12:10, 113 ГК
625 (Класс-осн) - Сергей Васильчишин, вт, 17:05, 426 ГК
626 (Класс-осн) - Константин Ковалёв, пн, 10:35, 9238 Тим
627 (Класс-осн) - Сергей Васильчишин, вт, 15:30, 426 ГК
628 (Класс+матем-продв) - Святослав Дженжер, чт, 12:10, 206 КПМ
Этот канал (материалы и новости): https://t.me/diht_logic
Чат для вопросов и обсуждений: https://t.me/+_Urz4r1yWjoyNzNi (новая ссылка)
Папка с материалами: https://www.dropbox.com/scl/fo/7z6ga81yx2ujdu6dz1g83/AL1lKQO4cPTUBZ6fr8uSIiY?rlkey=4symw62khbdeoxu3tf5qmdw7y&st=zzfn3pj6&dl=0
Табличка для оценок: (будет дополнено) | 851 |
| 7 | #октч Для контрольной в среду: проверьте, что вы есть в таблице и что у вас правильно указаны группы: в третьем столбце - акад. группа (где вы числитесь), в четвертом - куда вы ходите на семинар (для Продв пока что просто написано Продв), в пятом - какой экзамен вы сдаёте Основа/Информатика/Продв/Продв-Инф). | 832 |
| 8 | #jrnx | 14 |
| 9 | Тренировочный вариант 1-й к/р по ОКТЧ. Несколько комментариев (они есть в файле, на всякий случай сюда тоже напишу):
- к/р по материалам 1-го семинара, разделения на Основу и Продву пока нет
- перед к/р будут выкладываться задачи, которые были в прошлых годах на к/р. На самой к/р могут быть как такие же задачи с другими параметрами, так и другие задачи, по материалам семинаров
- в этом году большинство к/р будет из 4 задач: 2 тестовых на 8-10 баллов (1-я страница), и две письменных на 10 баллов (2-я страница). На первой к/р будут только 2 тестовые задачи
- Так как за 70% от максимума баллов ставится 10 за семестр, не предполагается, что все студенты решат все 4 задачи, времени на всё скорее всего не хватит. Если вы успеваете решать только первую страницу, то это уже ~6-7 баллов за семестр. | 1 087 |
| 10 | #матлог #кр
Подготовлен тренировочный вариант контрольной работы по логике на ближайшую среду. Будет общий лимит 40 минут на логику и ОКТЧ (если вы сдаёте только один предмет, то вам повезло). В первый раз во всех группах будет одинаковый набор задач, со второй контрольной начнётся расхождение. | 1 237 |
| 11 | #матлог #дневниклекций
Постараюсь здесь кратко записывать, что успели на лекциях. Если что важное пропускаю, дополняйте.
На лекции 2 сентября и в начале лекции 9 сентября было вот что:
- Основные объекты в теории формальных языков: символ, алфавит, слово, язык, (можно и дальше: класс языков, иерархия классов)
- Пустое слово
- Конкатенация слов, основные свойства. Роль пустого слова как единицы по умножению.
- Отношения префикса, суффикса, подслова, подпоследовательности. Свойства частичного порядка для этих отношений.
- Операции над языками: теоретико-множественные, конкатенация, степень, звезда и плюс Клини. Их свойство, роль пустого множества как нуля и синглетона как единицы.
- Правильные скобочные последовательности: определения через разбиение скобок на пары, через скобочный итог и рекурсивное. Эквивалентность определений. Неоднозначность разбора.
- Язык правильных алгебраических выражений: рекурсивное правило построения, лемма о балансе скобок, лемма о беспрефиксности и теорема об однозначности разбора.
- Язык пропозициональных формул и теорема об однозначности их разбора. | 1 183 |
| 12 | #октч Для 2-курсников: расписание заходов на пересдачу по ОКТЧ: https://docs.google.com/spreadsheets/d/1o1CyRAMyHsD92PHjI5R-l1TFUvGkXgzJ87GZVnmDp5Q/edit?gid=1104060874#gid=1104060874
Также можно отметить, если вы не хотите отвечать на вопросы большой сложности, для этого заполните форму:
https://forms.yandex.ru/cloud/6a195d466d2d7381cfa7fe5d
Если вас не оказалось в списке, но у вас есть экзамен в ЛК, пишите в директ этого канала и в УО (попросите на меня распределить ведомость). Если у вас нет экзамена в ЛК, но вы хотите сдавать - также пишите в директ-канала и в УО (с просьбой сформировать ведомость/отрывной). | 1 387 |
| 13 | #матлог
Напоминание: сегодня, 9 сентября, будет 2 лекции по логике, с 15:30 до 18:30 в Б.Хим. Контрольные начнутся со следующей недели, подробности к выходным. | 1 501 |
| 14 | #октч Факультатив про ИИ
В следующий вторник, 8 сентября, начинается факультатив "Формальная верификация и современные
ИИ-инструменты
исследователя-математика".
Время и аудитория: 20.05, 202 Квант
Программа курса, см. файл.
Запись на курс через Яндекс-форму (форма доступна из под почты @phystech.edu). Дедлайн записи (пока что) - 15 сентября. https://forms.yandex.ru/cloud/6a999c09068ff04fefba0b35
Факультатив вообще читается для всех курсов (1-4), но приоритет будет у 1-го курса. Мы надеемся, что все желающие смогут выполнять задания (если будет много заявок, постараемся увеличить квоту). | 2 426 |
| 15 | #октч Информация про факультатив про ИИ.
Начиная с ближайшего вторника, 8 февраля, начинается факультатив " "Формальная верификация и современные
ИИ-инструменты
исследователя-математика" | 2 |
| 16 | #матлог (прошлый семестр)
Дополнение про пересдачу. Есть возможность повысить балл за семестр, сдав новые задачи, вот файл с ними. Как обычно, балл нужно зафиксировать до получения билета. Сдавайте своим семинаристам. | 2 027 |
| 17 | Долгожданная новость для второкурсников про пересдачу по логике: её поставили на понедельник, 14 сентября. Она будет весь день, сначала 201 УПМ, потом 117 ГК. Записывайтесь на удобные слоты по времени, в строки с надписью "логика": https://docs.google.com/spreadsheets/d/1eEIyomjZ96G-QVdhDyLdAzbzvYXAmwRxDcFnCTbKd50/edit?usp=sharing
Есть также ограниченная возможность принять пересдачу 11 сентября. Если эта дата удобнее, напишите об этом в директ-сообщения канала. | 1 999 |
| 18 | #октч Всё про Продв-ОКТЧ.
Ссылка на телеграм-чат Продв ОКТЧ 2026: https://t.me/+4A1pxoAISYExNWRi
Если вы хотите записаться на Продв, то надо:
- заполнить форму (если вы этого ещё не сделали) https://forms.yandex.ru/cloud/6a8359b395add5af10998774
- прийти на лекцию (см. ниже куда) завтра
Если вы передумали, и не хотите на Продв, то надо ещё раз заполнить форму https://forms.yandex.ru/cloud/6a8359b395add5af10998774 (и отметить что вы передумали).
Дедлайн по заполнению формы - вечер (23.59) воскресенья 13 сентября.
Ссылки для сравнения курсов Основы и Продвы.
программа ОКТЧ Основа/Информатика/Продв см в папке курса:
https://drive.google.com/drive/u/1/folders/1vPhKQRKD3SSHiHZJAe1M-Hw9Ql3x017H
семинары ОКТЧ Основа и Продв:
https://drive.google.com/drive/u/1/folders/1So-ZjeKNGJNOdBZlHuveDtPK5pvI_I6I
Лекции и семинары. Завтра, 3 сентября, будет две лекции подряд по Продв в необычной аудитории: с 9.00 до 12.00 в 201-201а УПМ.
Семинара на первой неделе не будет, приходите в свою обычную группу по ОКТЧ
10 и 17 сентября лекций не будет
Семинары 10 и 17 сентября по расписанию, 10.35-12.00 в 515 ГК и 201-201а УПМ.
24 сентября снова будет сдвоенная лекция с 9.00 до 12.00 в 201-201а УПМ.
семинары перенесем на другое время, чуть позже напишу какое. | 1 858 |
| 19 | #октч (обновляемый) пост с информацией про осень 2026 для курса по ОКТЧ. Чуть позже ниже будут отдельные посты про Продв-ОКТЧ и про факультатив по ИИ.
Огрвопросы по курсу - Дмитрий Ильинский (@nograhol)
Папка с материалами курса: https://drive.google.com/drive/folders/1vPhKQRKD3SSHiHZJAe1M-Hw9Ql3x017H?usp=sharing
В папке есть: программы курса, архив семинаров и к/р прошлых лет.
Лекции проходят по четвергам 10.35-12.00 в 115 КПМ. В основном будут читать Д.В. Мусатов (первые 6 лекций по теории множеств) и А.М. Райгородский (9 лекций по комбинаторике). | 1 475 |
| 20 | Приветствуем уже присоединившихся первокурсников! Пересылайте адрес канала тем, кто ещё не присоединился: https://t.me/diht_logic
Завтра, 2 сентября, в 15:30, в Б.Хим. пройдёт оргсобрание, где мы расскажем про оба курса и отчётность по ним. | 2 305 |
