Матлогика + ОКТЧ
Kanalga Telegram’da o‘tish
Канал для рассылки новостей по курсам "Математическая логика и теория алгоритмов" и "Основы комбинаторики и теории чисел" для первого курса ФИВТ МФТИ
Ko'proq ko'rsatish1 935
Obunachilar
+124 soatlar
-17 kun
-1930 kun
Ma'lumotlar yuklanmoqda
O'xshash kanallar
Taglar buluti
Kirish va chiqish esdaliklari
---
---
---
---
---
---
Obunachilarni jalb qilish
Oktabr '26Okt '26
Oktabr '26
+16
0 kanalda
Sentabr '26
+177
0 kanalda
Get PRO
Avgust '26
+244
0 kanalda
Get PRO
Iyul '26
+9
0 kanalda
Get PRO
Iyun '26
+14
0 kanalda
Get PRO
May '26
+9
0 kanalda
Get PRO
Aprel '26
+14
0 kanalda
Get PRO
Mart '26
+21
0 kanalda
Get PRO
Fevral '26
+19
0 kanalda
Get PRO
Yanvar '26
+10
0 kanalda
Get PRO
Dekabr '25
+19
0 kanalda
Get PRO
Noyabr '25
+14
0 kanalda
Get PRO
Oktabr '25
+29
0 kanalda
Get PRO
Sentabr '25
+254
0 kanalda
Get PRO
Avgust '25
+27
0 kanalda
Get PRO
Iyul '25
+15
0 kanalda
Get PRO
Iyun '25
+17
0 kanalda
Get PRO
May '25
+11
0 kanalda
Get PRO
Aprel '25
+16
0 kanalda
Get PRO
Mart '25
+14
0 kanalda
Get PRO
Fevral '25
+22
1 kanalda
Get PRO
Yanvar '25
+23
0 kanalda
Get PRO
Dekabr '24
+15
1 kanalda
Get PRO
Noyabr '24
+28
0 kanalda
Get PRO
Oktabr '24
+39
1 kanalda
Get PRO
Sentabr '24
+242
0 kanalda
Get PRO
Avgust '24
+28
0 kanalda
Get PRO
Iyul '24
+25
0 kanalda
Get PRO
Iyun '24
+26
0 kanalda
Get PRO
May '24
+21
0 kanalda
Get PRO
Aprel '24
+23
0 kanalda
Get PRO
Mart '24
+24
0 kanalda
Get PRO
Fevral '24
+23
0 kanalda
Get PRO
Yanvar '24
+30
1 kanalda
Get PRO
Dekabr '23
+1 099
0 kanalda
| Sana | Obunachilarni jalb qilish | Esdaliklar | Kanallar | |
| 28 Oktabr | 0 | |||
| 27 Oktabr | +1 | |||
| 26 Oktabr | +1 | |||
| 25 Oktabr | 0 | |||
| 24 Oktabr | +2 | |||
| 23 Oktabr | 0 | |||
| 22 Oktabr | +1 | |||
| 21 Oktabr | +1 | |||
| 20 Oktabr | +1 | |||
| 19 Oktabr | +1 | |||
| 18 Oktabr | 0 | |||
| 17 Oktabr | 0 | |||
| 16 Oktabr | 0 | |||
| 15 Oktabr | +1 | |||
| 14 Oktabr | +1 | |||
| 13 Oktabr | 0 | |||
| 12 Oktabr | 0 | |||
| 11 Oktabr | +2 | |||
| 10 Oktabr | +3 | |||
| 09 Oktabr | 0 | |||
| 08 Oktabr | 0 | |||
| 07 Oktabr | 0 | |||
| 06 Oktabr | 0 | |||
| 05 Oktabr | 0 | |||
| 04 Oktabr | +1 | |||
| 03 Oktabr | 0 | |||
| 02 Oktabr | 0 | |||
| 01 Oktabr | 0 |
Kanal postlari
| 2 | Рассадка на сегодняшнюю к/р по ОКТЧ. Планируем начать в 16.00, как обычно. Если заметите неточности в рассадке - пишите. | 628 |
| 3 | Поскольку удалёнка в 529 группе закончилась, а ОКТЧ они не сдают, мы решили всё же провести к/р 28 октября в обычное время. Список задач в приложенном файле и в табличке. Если всё же не придёте, напишите в директ (в этот раз можно пропустить и без уважительной причины, но только в этот). | 746 |
| 4 | Тренировочный вариант по ОКТЧ для к/р в среду, 28 октября. Темы: 6 и 7 листки. Продв: если нужны будут картинки, пишите, попробую отыскать и выложить в чат. | 766 |
| 5 | Также напоминаем, что на лекции по логике сегодня будет замена - Иван Смирнов прочтёт про задачу о выполнимости КНФ, метод резолюций и, если будет время, про алгоритмы проверки выполнимости. | 1 382 |
| 6 | Рассадка на сегодняшнюю к/р. Приходите в аудитории к 15:50, раздача условий в 16:00. Тут есть многие из тех, кто сообщили о пропуске сегодня, это не ошибка. Если вдруг найдётся повтор мест, срочно напишите, но вроде бы все баги выловлены. | 1 388 |
| 7 | Демо-вариант контрольной на сегодня. Посмотрите, правильный ли набор задач и баллы. Если что-то не так, пишите, постараемся успеть исправить. Если пропускаете по уважительной причине, напишите в директ-сообщения с указанием фамилии, группы и причины пропуска. | 1 287 |
| 8 | Файл в предыдущем сообщении заменён, информация по всем группам заполнена. Возможны небольшие изменения или исправление ошибок. | 1 349 |
| 9 | Черновой вариант тренировочного варианта на среду. Сейчас вылетаю в командировку в Китай, надеюсь после приземления заполнить пробелы в оставшихся группах. Группа 529 временно на удалёнке, у неё будет увеличенное домашнее задание, а в конце семестра дополнительная к/р по тестовым задачам. | 1 425 |
| 10 | Новая рассадка, теперь должно быть всё в порядке, пишите если что. | 1 936 |
| 11 | Рассадка на сегодняшнюю к/р по ОКТЧ. Приходите к 16.00, постараемся вовремя начать. | 3 |
| 12 | Тренировочный вариант к/р на сегодня. Начинаем, как обычно, в 16.00. Пишите в директ, если пропускаете по уважительной причине. | 1 883 |
| 13 | #матлог
Файл домашки заменён, найденные ошибки исправлены. Если уже скачали себе, скачайте заново, особенно если вы в группах с 614 по 622 (там была рассинхронизация имён и наборов задач). Если уже начали решать, то вне этих групп задачи не изменились, в ином случае договоритесь о зачёте решённого вами варианта. | 1 801 |
| 14 | #матлог
Готова третья домашняя работа по логике. В этот раз она довольно объёмная: 3-4 домашние задачи для всех (в разных группах разные), не решённые на контрольных задачи №1, а в отдельных группах и №4-8, а также дополнительные Д1-Д3 для тех, кто уже достаточно нарешал основных.
Срок сдачи - 26 октября. Если обнаружите неточности в файле, пишите в директ-сообщения или прямо в комментарии, если ошибка массовая. | 1 895 |
| 15 | #матлог
Варианты сегодняшней контрольной | 2 383 |
| 16 | Чтобы вам было проще ориентироваться, мы нарисовали карту рассадки. Она общая для обоих курсов, только на ОКТЧ места 0 и 10 не используются (т.к. на одну группу меньше). | 2 348 |
| 17 | #матлог
Рассадка на сегодня. Проверьте, что вы есть в файле в правильной группе (исключены сообщившие о пропуске). Если пропускаете по уважительной причине, пишите до начала кр в директ-сообщения канала (иконка с облачком) с указанием причины. | 2 174 |
| 18 | #матлог
Предварительная версия демо-варианта кр в среду. Пока что не отражены результаты кр2 в 616 и 622 группах. Там решённые задачи будут заменены на следующие, т.е. с пометками 1(1) и 1(2) в цветной табличке. Рассадку я для ясности вообще убрал, файл отсортирован по группе и фамилии. Проверяйте, что ваши задачи соответствуют заявленному, об ошибках сообщайте в директ канала или в чат, если ошибка массовая. Если пропускаете кр по уважительной причине, пишите в директ (иконка с облачком) с указанием причины. | 2 075 |
| 19 | #матлог
Тренировочный вариант контрольной на среду. Траектории разных групп и разных студентов сильно разошлись. Ищите в файле цветную табличку, в строке с номером вашей группы написано, какие задачи вас ожидают. Демо-вариант также постараемся сделать, там будут написаны лично ваши задачи. | 1 952 |
| 20 | #октч Рассадка на сегодня. Пишите, если себя не нашли. Напоминаю, что сегодня к/р начинается на 20 минут раньше! Постарайтесь не опаздывать. | 2 646 |
