Endi mavjud! Telegram Tadqiqoti 2025 — yilning asosiy insaytlari 
Матлогика + ОКТЧ
Kanalga Telegram’da o‘tish
Канал для рассылки новостей по курсам "Математическая логика и теория алгоритмов" и "Основы комбинаторики и теории чисел" для первого курса ФИВТ МФТИ
Ko'proq ko'rsatish1 617
Obunachilar
-124 soatlar
+17 kunlar
-530 kunlar
Postlar arxiv
1 617
#матлог
В табличку внесено время захода в аудиторию (115 КПМ) на завтра - по убыванию текущей оценки за семестр. Можно меняться временем захода в течение дня по обоюдному согласию, но только с кем-то, кто реально сдаёт. Оценка за семестр должна быть зафиксирована до получения билета - если есть какие-то разночтения, нужно их разрешить, в совсем крайнем случае что-то досдать утром до получения билета.
Также можем перенести по желанию дату с 10 на 11 июня (с 13-го на пораньше тоже можно). Первые 7 запросов гарантированно удовлетворим, пишите в директ-сообщения канала.
1 617
#матлог
В табличку внесены даты экзаменов согласно академическим группам. Можно менять даты экзаменов по таким причинам:
- вы хотите сдавать не 13 июня, а раньше (13-го, вероятно, будет меньше принимающих)
- вы хотите сдавать вместе с той группой, с которой ходите на семинары, или наоборот, с академической (а в таблице ошибка)
- вы досдаёте академическую разницу, тогда можете выбрать любую удобную дату
- дата не подходит по уважительной причине, но подходит другая, либо вы вообще пропускаете экзамен летом
- вы нашли, с кем поменяться датами (пока что распространяется только на 9-11 июня)
Если захотите поменять(ся), пишите в директ-сообщения канала.
1 617
#матлог
Программа экзамена по логике. Изменения с прошлого года минимальные, основное нововведение в дополнительных вопросах: мы разрешаем вам выбрать один самостоятельно (с согласованием). Изучите внимательно правила экзамена, особенно про допвопросы.
1 617
#матлог
Подготовлена итоговая домашка по логике. Нужно финализировать оценку за семестр до экзамена - можно сдавать задачи за 2 дня до него или позже по согласованию с семинаристом, в крайнем случае примем устно перед выдачей билета, но лучше до этого не доводить. В правой части таблички стоят текущие оценки за все три части, там видно, чего не хватает (в основном Дшек). В файле есть все пока не зачтённые задачи, в том числе из последней домашки. Если умеете решать задачи оттуда, сдавайте их - будет больше баллов. Удачи!
Программа экзамена будет завтра, но изменения минимальные относительно прошлого года.
1 617
#октч Предварительные версии списка вопросов по ОКТЧ/ОДМ. Программ много, они большие, возможно, что-то упущено или что-то лишнее написано - пишите, если есть вопросы.
1 617
#октч В программу экзамена по ОКТЧ войдут вопросы:
-прочитанные Императором;
-поставленные Эйлером;
-ещё не сформулированные;
-простые;
-задачи тысячелетия;
-P=NP
-ОТА;
-включённые в этот список;
-доказываемые по индукции;
-бесчисленные;
-написанные тончайшей кистью из верблюжьей шерсти;
-прочие;
-только что набранные в LaTex;
-похожие издали на истинные.
1 617
#октч Меня спрашивают про программу ОКТЧ. Я надеюсь, что она появится в течение пары дней (может и раньше), пока что выложу сырую версию (это обычно то, с чего я начинаю составлять программу любого экзамена). Пишите, если я что-то пропустил и надо что-то добавить!
1 617
Если кто из 521-522 групп хочет написать пропущенные тестовые к/р по логике, то можно приходить в 107 БК. Как минимум до 18:30 можно будет начать в удобное время.
1 617
Следующую кр (дополнительную) давайте перенесём на 16:45, а то мы потратили время, пока парты расставляли. Карта мест на доске в аудитории и выше в канале.
1 617
#матлог
Рассадка на сегодня на 15:30. Номера мест условные, я приду в аудиторию и напишу на доске, где что. Возможно, нужно будет подвигать столы.
1 617
#матлог
А это демо-вариант дополнительной к/р (№9). Её начало в 16:30, 107 БК. Если хотите написать или, наоборот, передумали, поменяйте выбор в таблице до 13 часов: https://docs.google.com/spreadsheets/d/15fl9lBWHHS7l-mjA1TaFsxsboDsFxfYQ1CTpJcSHvY8/edit?usp=sharing
1 617
#матлог
Демо-вариант тестовой к/р (№8) на сегодня. Её начало в 15:30, 107 БК. На рассадку в файле не смотрите, конечно.
1 617
#матлог
Завтра у нас забронирована 107 БК с 15:30 на все переписывания и дописывания. Давайте ориентироваться на такой график:
15:30 - тестовая к/р 8 для AI360 и других пропустивших (40 минут)
16:30 - к/р 9 для записавшихся (40 минут + 30 минут на пропущенную к/р)
17:30 и далее - написание пропущенных тестовых к/р для AI360
Если вам лично такой график не подходит, пишите в директ-сообщения, обсудим.
1 617
Завтра (30 мая) для тех студентов из AI.360, которые не писали к/р по ОКТЧ 13 мая будет возможность её написать. Начало в 15.00 (ориентировочно), аудиторию я перед началом напишу (надеюсь, что сможем в это время отыскать большую аудиторию).
В понедельник (1 июня) для студентов AI.360, пропустивших к/р по ОКТЧ можно будет их написать - отмечайтесь в таблице (дедлайн 23.59 31 мая)
Начало в ~13.00 в ауд 117 ГК
1 617
Итоговая большая дорешка пока готовится, но мы сделали небольшую седьмую домашку. Тут не у всех есть задачи. Срок сдачи - уже перед экзаменом (по умолчанию за 2 дня, главное, чтобы к экзамену было проверено).
1 617
Рассадка на сегодня, приходите в Б.Хим. к 11:00. Если забыли записаться, срочно напишите в личку.
1 617
По вашему запросу я сделал демо-вариант на завтра, так что можете принять более информированное решение. Напомню, заберу список пишущих в 8 утра.
1 617
#матлог
Тренировочная к/р на завтра. При желании можете переголосовать, я заберу список участников в 8 утра. Если до этого времени не запишетесь, варианта на вас не будет.
