| 12 |
"__13 проблема Гильберта, теорема Колмогорова-Арнольда и вокруг__" | А. В. Устинов,
|
20 |
"__13 проблема Гильберта, теорема Колмогорова-Арнольда и вокруг__" | А. В. Устинов,
|
| 13 |
"__Полоски Аркадия Климова__" | П. Ким,
|
21 |
"__Полоски Аркадия Климова__" | П. Ким,
|
| 14 |
"__Фейерверк Фейербаха__" ||
|
22 |
"__Фейерверк Фейербаха__" ||
|
| 19 |
"__Экосистемы глубоководных гидротерм -- второе крупнейшее открытие биоокеанологии XX века__" | Г. М. Виноградов,
|
29 |
"__Экосистемы глубоководных гидротерм -- второе крупнейшее открытие биоокеанологии XX века__" | Г. М. Виноградов,
|
| 20 |
"__Увидеть дно: от первой батисферы до автономных модулей__" | Н. Жожикашвили,
|
30 |
"__Увидеть дно: от первой батисферы до автономных модулей__" | Н. Жожикашвили,
|
| 21 |
"__Ленивый мозг: почему лениво думать__" ||
|
31 |
"__Ленивый мозг: почему лениво думать__" ||
|
| 25 |
||**гуманитарная секция**| tba | tba | tba ||
|
36 |
|
| 26 |
*| не-лекции: | | | |*
|
37 |
||**гуманитарная секция**| | tba | tba | tba ||
|
| 27 |
||**математическая игра**| | | ||
|
38 |
|
| 28 |
||**"Своя игра" по географии**| | | ||
|
39 |
*| не-лекции:| |*
|
| 29 |
||**кино на английском**| | | ||
|
40 |
|
| |
|
41 |
||**математическая игра 7-8**| | ||
|
| |
|
42 |
|
| |
|
43 |
||**математическая игра 9-11**| | ||
|
| |
|
44 |
|
| |
|
45 |
||**"Своя игра" по географии**| | ||
|
| |
|
46 |
|
| |
|
47 |
||**кино на английском**| | ||
|
| |
|
48 |
|
| |
|
51 |
|
| |
|
52 |
|
| |
|
53 |
===аннотации===
|
| |
|
54 |
|
| |
|
55 |
====МАТЕМАТИКА 7-9 КЛАСС====
|
| |
|
56 |
=====Даниил Владимирович Мусатов (МФТИ), "//Нулевое разглашение: от Уолли до снарков", сейчас снарков в анонс добавлю//"=====
|
| |
|
57 |
Как известно, задачи можно сдавать письменно или устно. Для письменной сдачи нужно написать текст, который проверяется без участия автора. При устной проверке можно задавать дополнительные вопросы или пропускать какие-то части, но обязательно нужен автор. Оказывается, такая интерактивность расширяет возможности: во-первых, множество доказуемых утверждений расширяется. Во-вторых, становится достижимым нулевое разглашение: проверяющий удостоверяет верность доказательства, но не может сам его воспроизвести. На лекции мы обсудим несколько весёлых примеров:
|
| |
|
58 |
* Как доказать дальтонику, что он надел носки разных цветов
|
| |
|
59 |
* Как доказать ребёнку, что Уолли есть на картинке, не показывая, где именно
|
| |
|
60 |
* Как Али-Бабе доказать знание магического заклинания, не произнося его
|
| |
|
61 |
* Как доказать разрешимость головоломки судоку, не предъявляя решения
|
| |
|
62 |
В конце мы немного поговорим о приложениях этих концепций в математике и криптографии, в том числе о "модном" понятии снарка.
|