Школа179

В 2026 году День математика состоится в субботу 21 февраля. На 4–7 уроках пройдёт фестиваль: лекции по математике и другим направлениям, математические игры и не только.

регистрация

Мы просим всех участников фестиваля зарегистрироваться, чтобы мы понимали примерное количество желающих. Регистрация откроется за неделю до мероприятия.
*| лекции: |каб.| 13:10 – 14:10 | 14:20 – 15:20 | 15:35 – 16:10 |*
||**математика 7–9**| | Д. В. Мусатов, ||математика 9–11| | С. Дженджер,
||**интересное место**| | tba | С. Б. Попов, ||биология| | Г. М. Виноградов,
||**инженеры**| | П. В. Рыжков, ||гуманитарная секция| | tba | tba | tba || *| не-лекции:| |* ||математическая игра 7–8| | || ||математическая игра 9–11| | || ||«Своя игра» по географии| | || ||кино на английском| | ||

аннотации

МАТЕМАТИКА 7–9 КЛАСС

Даниил Владимирович Мусатов (МФТИ), «Нулевое разглашение: от Уолли до снарков», сейчас снарков в анонс добавлю»

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

• Как доказать дальтонику, что он надел носки разных цветов
• Как доказать ребёнку, что Уолли есть на картинке, не показывая, где именно
• Как Али-Бабе доказать знание магического заклинания, не произнося его 
• Как доказать разрешимость головоломки судоку, не предъявляя решения

В конце мы немного поговорим о приложениях этих концепций в математике и криптографии, в том числе о «модном» понятии снарка.