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

Файл с рассадкой обновлён, проверьте своё место, если вы в Б.Хим., мог быть небольшой сдвиг

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

#матлог Готова предварительная версия таблички для оценок: https://docs.google.com/spreadsheets/d/1Fegv5vc58kG60pIzO-oorvSNZwbBPC1vU_JT4kU4xvQ/edit?usp=sharing Таблица упорядочена по семинарским группам, потом по фамилии. Она будет использоваться для генерации индивидуальных вариантов в среду. Пожалуйста, в следующих случаях напишите в директ-сообщения канала (иконка с облачком): - Вы сдаёте курс, но не нашли себя в таблице (либо досдаёте как академическую разницу, либо вас почему-то не было в списке от 2 сентября) - Вы или кто-то, кого вы знаете, есть в списке, но на курс ходить не будет. - Вы записаны в неправильной группе (при этом, если вы ходите на семинары в другую группу, это обязательно нужно оформить документально).

#матлог Служебный пост с информацией на осень 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 Табличка для оценок: (будет дополнено)

#октч Для контрольной в среду: проверьте, что вы есть в таблице и что у вас правильно указаны группы: в третьем столбце - акад. группа (где вы числитесь), в четвертом - куда вы ходите на семинар (для Продв пока что просто написано Продв), в пятом - какой экзамен вы сдаёте Основа/Информатика/Продв/Продв-Инф).

#jrnx

#матлог #дневниклекций Постараюсь здесь кратко записывать, что успели на лекциях. Если что важное пропускаю, дополняйте. На лекции 2 сентября и в начале лекции 9 сентября было вот что: - Основные объекты в теории формальных языков: символ, алфавит, слово, язык, (можно и дальше: класс языков, иерархия классов) - Пустое слово - Конкатенация слов, основные свойства. Роль пустого слова как единицы по умножению. - Отношения префикса, суффикса, подслова, подпоследовательности. Свойства частичного порядка для этих отношений. - Операции над языками: теоретико-множественные, конкатенация, степень, звезда и плюс Клини. Их свойство, роль пустого множества как нуля и синглетона как единицы. - Правильные скобочные последовательности: определения через разбиение скобок на пары, через скобочный итог и рекурсивное. Эквивалентность определений. Неоднозначность разбора. - Язык правильных алгебраических выражений: рекурсивное правило построения, лемма о балансе скобок, лемма о беспрефиксности и теорема об однозначности разбора. - Язык пропозициональных формул и теорема об однозначности их разбора.

#октч Для 2-курсников: расписание заходов на пересдачу по ОКТЧ: https://docs.google.com/spreadsheets/d/1o1CyRAMyHsD92PHjI5R-l1TFUvGkXgzJ87GZVnmDp5Q/edit?gid=1104060874#gid=1104060874 Также можно отметить, если вы не хотите отвечать на вопросы большой сложности, для этого заполните форму: https://forms.yandex.ru/cloud/6a195d466d2d7381cfa7fe5d Если вас не оказалось в списке, но у вас есть экзамен в ЛК, пишите в директ этого канала и в УО (попросите на меня распределить ведомость). Если у вас нет экзамена в ЛК, но вы хотите сдавать - также пишите в директ-канала и в УО (с просьбой сформировать ведомость/отрывной).

#матлог Напоминание: сегодня, 9 сентября, будет 2 лекции по логике, с 15:30 до 18:30 в Б.Хим. Контрольные начнутся со следующей недели, подробности к выходным.

#октч Информация про факультатив про ИИ. Начиная с ближайшего вторника, 8 февраля, начинается факультатив " "Формальная верификация и современные ИИ-инструменты исследователя-математика"

Долгожданная новость для второкурсников про пересдачу по логике: её поставили на понедельник, 14 сентября. Она будет весь день, сначала 201 УПМ, потом 117 ГК. Записывайтесь на удобные слоты по времени, в строки с надписью "логика": https://docs.google.com/spreadsheets/d/1eEIyomjZ96G-QVdhDyLdAzbzvYXAmwRxDcFnCTbKd50/edit?usp=sharing Есть также ограниченная возможность принять пересдачу 11 сентября. Если эта дата удобнее, напишите об этом в директ-сообщения канала.

#октч Всё про Продв-ОКТЧ. Ссылка на телеграм-чат Продв ОКТЧ 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а УПМ. семинары перенесем на другое время, чуть позже напишу какое.

#октч (обновляемый) пост с информацией про осень 2026 для курса по ОКТЧ. Чуть позже ниже будут отдельные посты про Продв-ОКТЧ и про факультатив по ИИ. Огрвопросы по курсу - Дмитрий Ильинский (@nograhol) Папка с материалами курса: https://drive.google.com/drive/folders/1vPhKQRKD3SSHiHZJAe1M-Hw9Ql3x017H?usp=sharing В папке есть: программы курса, архив семинаров и к/р прошлых лет. Лекции проходят по четвергам 10.35-12.00 в 115 КПМ. В основном будут читать Д.В. Мусатов (первые 6 лекций по теории множеств) и А.М. Райгородский (9 лекций по комбинаторике).

Приветствуем уже присоединившихся первокурсников! Пересылайте адрес канала тем, кто ещё не присоединился: https://t.me/diht_logic Завтра, 2 сентября, в 15:30, в Б.Хим. пройдёт оргсобрание, где мы расскажем про оба курса и отчётность по ним.