Сравнение версий ВШ 2024 / Проекты




← Предыдущая правка
Следующая правка →

Version1 Version2 Differences
1   ==Веселова Варвара, тг @kryakar==  
2   ==={{anchor href="a31"}}строим квест - рум. любой===  
3   создадим свой квест, придумаем головоломки и подсказки, сколотим черные ящики, навешаем замки и зашифруем подсказки  
4   план  
5    - определимся с пространством  
6    - создадим сюжет  
7    - придумаем головоломки  
8    - подготовим реквезит  
9    - проведем квест  
10    
11    
12   ==={{anchor href="a31"}}делаем свою настолку. любой===  
13   в настоящее время постоянно выходят новые настолки. давайте попытаемся сделать свою. выберем механику, которая вам ближе, скрестим несколько имеющихся в мире и изобретем что-то совсем новое. сделаем красивые картиночки с помощью вашего художственного таланта или нейросетей, а потом представим творение нашему маленькому лагерному миру.  
14    
15    
16    
17   ==, @sergey_dorichenko==  
18   ==={{anchor href="a31"}}. ===  
19   Многочлены, кривые и геометрия  
20      
21   Мы познакомимся с многочленами от двух переменных и кривыми, которые задаются этими многочленами.  
22    
23   Дадим красивое доказательство теорем Паппа и Паскаля с помощью многочленов (без вычислений!) и доказательство теоремы Брианшона с помощью радикальных осей.  
24      
25   Среди вопросов, которые будут затрагиваться: почему радикальная ось - это прямая, можно ли задать на плоскости многочленом одну ветвь гиперболы, в скольких точках могут пересекаться  
26   две плоские алгебраические кривые и др.  
27      
28   Предполагаются известными уравнение окружности, параболы, прямой в декартовых координатах.  
29    
30    
31    
32   ==Челпанова Анастасия Владимировна, chelpanova@179.ru==  
33   ==={{anchor href="a31"}}Актерское мастерство. 7,8,10===  
34   Поговорим об основных эмоциях человека, их проявлениях, особенностях их демонстрации не сцене, и сложностях работы с ними. Попробуем актерское взаимодействие на примере заготовленных текстов и импровизаций. Это отличная возможность безобидно покричать друг на друга, посмеяться или поплакать вместе!  
35   Результат проекта: доклад+актерские этюды.  
36    
37    
38    
39 1 ==Стрелкова Наталия Павловна, strelkova@179.ru==
40 2 ==={{anchor href="a31"}}Неевклидовы геометрии - 10. 10===
41 3 Проект посвящён "другим" геометриям -- пространствам, где расстояния измеряются не так, как на плоскости, где, возможно не действуют привычные нам аксиомы.
42 4 В этом проекте вы будете много исследовать и придумывать себе задачи, а не только и не столько решать уже готовые задачи.
43 5 При этом можно будет исследовать как технически простые вещи (квартирная геометрия), так и технически сложные (геометрия на сфере и других поверхностях, галилеева геометрия) -- в зависимости от предпочтений и навыков участников проекта.
44   При желании можно будет придумать свою геометрию =) Для начала можно взглянуть на мой доклад на кружочке https://www.youtube.com/watch?v=v2GKPeXdIF0 . Можно будет заниматься любыми частями этого доклада или уйти в темы, не вошедшие в доклад.
  6 При желании можно будет придумать свою геометрию "=)" Для начала можно взглянуть на мой доклад на кружочке https://www.youtube.com/watch?v=v2GKPeXdIF0 . Можно будет заниматься любыми частями этого доклада или уйти в темы, не вошедшие в доклад.
45 7 Для знакомства с проектом посмотрите видео кружочка https://www.youtube.com/watch?v=v2GKPeXdIF0
46 8  (достаточно первую половину, до многогранников). Как только вы скажете мне, что вам может быть интересен проект, я сделаю первый вводный листок и выложу сюда. А потом мы с вами обсудим -- нужны ли будут ещё задачи, ещё статьи или книги для чтения, или вы сами придумаете себе задачи.
47 9
48 10
49 11 ==={{anchor href="a31"}}Неевклидовы геометрии - 8. 8
50   (семиклассники могут тоже попробовать, если очень хочется, но я бы советовала годик подождать =)===
  12 (семиклассники могут тоже попробовать, если очень хочется, но я бы советовала годик подождать =~) ===
51 13 Проект посвящён "другим" геометриям -- пространствам, где расстояния измеряются не так, как на плоскости, где, возможно не действуют привычные нам аксиомы.
52 14 В этом проекте вы будете много исследовать и придумывать себе задачи, а не только и не столько решать уже готовые задачи.
53 15 Я предлагаю заняться геометрией внутри многоугольника или на поверхности многогранника, но можно будет сосредоточиться на чём-то ещё -- в зависимости от предпочтений и навыков участников проекта.
54   При желании можно будет придумать свою геометрию =) Для начала можно взглянуть на мой доклад на кружочке https://www.youtube.com/watch?v=v2GKPeXdIF0 . Можно будет заниматься любыми частями этого доклада или уйти в темы, не вошедшие в доклад.
  16 При желании можно будет придумать свою геометрию "=)" Для начала можно взглянуть на мой доклад на кружочке https://www.youtube.com/watch?v=v2GKPeXdIF0 . Можно будет заниматься любыми частями этого доклада или уйти в темы, не вошедшие в доклад.
55 17 Для знакомства с проектом посмотрите видео кружочка https://www.youtube.com/watch?v=v2GKPeXdIF0
56 18  (достаточно первую половину, до многогранников). Как только вы скажете мне, что вам может быть интересен проект, я сделаю первый вводный листок и выложу сюда. А потом мы с вами обсудим -- нужны ли будут ещё задачи, ещё статьи или книги для чтения, или вы сами придумаете себе задачи.
57 19
… … …
67 29 На докладе в конце школы надо будет поделиться опытом, рассказать в чём состояла работа, что получилось, ...
68 30
69 31
70   ==Даша Аракелова и Даня Макаров, t.me/noumaa
71   t.me/danyam127==
72   ==={{anchor href="a31"}}Автоматическая оценка сочинений ЕГЭ. любой===
73   Сочинения на ЕГЭ проверяются вручную экспертами. А можно ли научить компьютер это делать? Мы поставим перед собой такую задачу: возьмем набор сочинений по русскому или английскому языку, которым уже выставлена оценка, и попробуем обучить модель, которая воспроизводит этот результат и оценивает новые сочинения. На этом частном случае задачи классификации текстов мы узнаем, как устроена обработка данных, как статистика применяется в машинном обучении и как работать с нейросетями. Для проекта понадобится знание Python.
74  
75  
76  
77   ==={{anchor href="a31"}}Генерация текстов. любой===
78   Цель этого проекта – научиться компьютерными методами создавать новые тексты на основе других, заранее заданных. Мы поговорим о том, как с помощью частотных методов и программирования создать последовательность слов, похожую на естественную речь, и сможем сгенерировать текст в стиле писателя-классика или новостного канала, а потом посмотрим, как с этой задачей справляются нейросети. Для проекта понадобится знание Python.
  32 ==Андрей Рябичев, телеграм==
  33 ==={{anchor href="a31"}}Провести свой учебный курс. 10===
  34 Часто старшеклассники помогают с приёмом задач у малышей, например на кружке по понедельникам. Иногда у ответственных и инициативных старшеклассников возникает желание подобрать задачи самостоятельно, или как-то по-своему структурировать эту учебную активность.
  35 Если у вас есть идея учебного курса (по любой тематике), который можно провести на майской школе у 7 или 8 классов, напишите мне об этом. Важное ограничение: программа и описание курса должны быть подготовлены не позднее понедельника 21 мая, в противном случае курс не получится запустить и тему проекта взять не получится.
  36
  37
  38
  39 ==={{anchor href="a31"}}Ленточные графы и поверхности. 7-8===
  40 Ленточный граф -- набор кругов (вершин), соединённых полосочками (рёбрами). Ленточные графы называются гомеоморфными, если между ними существует взаимно-непрерывная биекция. В отличие от обычного графа, в ленточном графе имеет значение циклический порядок, в котором 'рёбра' выходят из 'вершины', а также то, перекручены ли 'рёбра'.
  41 В проекте предлагается более плотно разобраться с тем, какие бывают ленточные графы, а также продвинуться в количественном и качественном понимании понятия гомеоморфности. Примеры задач: (а) опишите полный набор инвариантов, классифицирующий ленточные графы с точностью до гомеоморфизма; (б) сколько с точностью до гомеоморфизма есть связных ленточных графов с тремя вершинами и десятью рёбрами?
  42
  43
  44
  45 ==={{anchor href="a31"}}Поверхности бесконечного типа и их группы классов отображений. 10===
  46 Эта тема предназначена для тех, кто уже испытал первое знакомство с топологией. Тогда вы навверное знаете, что любая компактная ориентируемая поверхность без края гомеоморфна сфере с ручками. Но что если отбросить условие компактности? Примерами некомпактных поверхностей являются сферы с проколами -- проколов может быть бесконечное число, и даже несчётное! А что если пытаться сторить поверхность бесконечного рода -- сферу с бесконечным числом ручек...
  47 В этом проекте мы, во-первых, попробуем доказать теорему, классифицирующую некомпактные поверхности. Моножество гомеоморфизмов поверхности с самой собой с точностью до гомотопии называется группой классов отображений. Вторая цель проекта -- попробовать сравнить свойства группы классов отображений в компактном и некомпактном случае и сформулировать различия, которые покажутся интересными.
79 48
80 49
81 50
… … …
97 66 ==={{anchor href="a31"}}Короткометражка "Жизнь в лагере"на английском. . 10 (7,8 ???)===
98 67 Идея в том, что дети порознь или в парах составляют вопросы на тему жизни в этом зимнем лагере. Вопросы можно адресовать как ученикам, так и учителям. Затем ученики опрашивают присутствующих в лагере на английском. Быстро задают вопросы в формате "Интерьвью со звездой", интервьюируемый быстро отвечает на вопросы. Затем ученики монтируют короткое документальное видео на 2 минуты.
99 68 https://youtu.be/1m4kACjApZs
100    
101    
102   ==Андрей Рябичев, телеграм==  
103   ==={{anchor href="a31"}}Провести свой учебный курс. 10===  
104   Часто старшеклассники помогают с приёмом задач у малышей, например на кружке по понедельникам. Иногда у ответственных и инициативных старшеклассников возникает желание подобрать задачи самостоятельно, или как-то по-своему структурировать эту учебную активность.  
105   Если у вас есть идея учебного курса (по любой тематике), который можно провести на майской школе у 7 или 8 классов, напишите мне об этом. Важное ограничение: программа и описание курса должны быть подготовлены не позднее понедельника 21 мая, в противном случае курс не получится запустить и тему проекта взять не получится.  
106    
107    
108    
109   ==={{anchor href="a31"}}Ленточные графы и поверхности. 7-8===  
110   Ленточный граф -- набор кругов (вершин), соединённых полосочками (рёбрами). Ленточные графы называются гомеоморфными, если между ними существует взаимно-непрерывная биекция. В отличие от обычного графа, в ленточном графе имеет значение циклический порядок, в котором 'рёбра' выходят из 'вершины', а также то, перекручены ли 'рёбра'.  
111   В проекте предлагается более плотно разобраться с тем, какие бывают ленточные графы, а также продвинуться в количественном и качественном понимании понятия гомеоморфности. Примеры задач: (а) опишите полный набор инвариантов, классифицирующий ленточные графы с точностью до гомеоморфизма; (б) сколько с точностью до гомеоморфизма есть связных ленточных графов с тремя вершинами и десятью рёбрами?  
112    
113    
114    
115   ==={{anchor href="a31"}}Поверхности бесконечного типа и их группы классов отображений. 10===  
116   Эта тема предназначена для тех, кто уже испытал первое знакомство с топологией. Тогда вы навверное знаете, что любая компактная ориентируемая поверхность без края гомеоморфна сфере с ручками. Но что если отбросить условие компактности? Примерами некомпактных поверхностей являются сферы с проколами -- проколов может быть бесконечное число, и даже несчётное! А что если пытаться сторить поверхность бесконечного рода -- сферу с бесконечным числом ручек...  
117   В этом проекте мы, во-первых, попробуем доказать теорему, классифицирующую некомпактные поверхности. Моножество гомеоморфизмов поверхности с самой собой с точностью до гомотопии называется группой классов отображений. Вторая цель проекта -- попробовать сравнить свойства группы классов отображений в компактном и некомпактном случае и сформулировать различия, которые покажутся интересными.  
118    
119 69
120 70
121 71 ==Чехлова Анна, ac@179.ru, @achehlova (telegram)==
… … …
192 142 Будет как минимум одна лекция - вводная в курс + листок с задачами, которые можно решать
193 143
194 144
  145 ==Скребцов Радий Юрьевич, rskrebtsov@179.ru==  
  146 ==={{anchor href="a31"}}Список задач на выбор https://drive.google.com/file/d/1RnGdr_-75NQ-7oG8WIC1LfZJcT41sJh-/view?usp=sharing. 7,8,10===  
  147 Список задач на выбор https://drive.google.com/file/d/1RnGdr_-75NQ-7oG8WIC1LfZJcT41sJh-/view?usp=sharing  
  148  
  149 Описание 14 проектных задач на выбор можно найти в файле по ссылке https://drive.google.com/file/d/1RnGdr_-75NQ-7oG8WIC1LfZJcT41sJh-/view?usp=sharing у каждой задачи есть краткое описание, что подразумевается сделать, но также любую задачу можно видоизменить по интересам конкретных исследователей.  
  150 ВАЖНО сообщить мне о выбранных проектах до 20 мая, чтобы была возможность подготовить оборудование. Если этого не сделать вовремя, то часть проектов выполнить не получится. Исследованиями по каждой задаче может заниматься по 1-2 ученика, но для съемки и монтажа видеоролика нужны дополнительные люди.  
  151  
  152  
  153 ==Рудько Юрий, rudko@179.ru==  
  154 ==={{anchor href="a31"}}Четырёхмерный куб. ===  
  155 Каждый уважающий себя математик просто обязан время от времени пытаться представить себе четврехмерный куб (если вы никогда не пробовали, попытайтесь прямо сейчас!). Несмотря на то, что представить себе сам куб ни у кого не выходит, про него можно многое понять уже в школе. Например, ответить на вопрос "какой многогранник может получаться в сечении четырехмерного куба, трехмерным пространством перпендикулярно главной диагонали" можно, используя один только метод координат. Это и есть наш основной план. Для продвинутых есть опция разобраться с аналогичным вопросом для пятимерного куба (ни за что не догадаетесь, какой там ответ!).  
  156 1. Разобраться, что такое n-мерный куб, как устроены его ребра и грани. 2. Понять, что такое сечение и как устроены уже его ребра и грани. 3. Научиться определять многогранник по структуре ребер. Для продвинутых возможно вычисление групп симметрий. 4*. Для совсем продвинутых возможно провести аналогичные вычисления для пятимерного куба и изучить полученный четврехмерный многогранник. Обещаю, вы удивитесь  
  157  
  158  
195 159 ==Швецов Дмитрий Викторович, t.me/shvetsov_dima==
196 160 ==={{anchor href="a31"}}Надстройки. 7-8===
197 161 "На сторонах треугольника/четыёрухгольника построили...". До наших дней на математических олимпиадах самого разного уровня предлагаются конструкции, в которых на сторонах строятся правильные треугольники, квадраты и т.п. В проекте вам предлагается разобраться с подобного рода конструкциями, параллельно будем придумывать новые задачи.
… … …
211 175 ==Даня Макаров, t.me/danyam127==
212 176 ==={{anchor href="a31"}}Недоказуемость, быстрорастущие функции и ординалы. очень сложно===
213 177 Мы докажем, что Геркулес всегда побеждает гидру в некоторой конечной игре, но это невозможно доказать, используя только конечные множества (или арифметику Пеано). По дороге познакомимся с ординалами и (проиндексированной ими) иерархией быстрорастущих функций.
214   ====подробный анонс будет по ссылке, вот он====  
215 178 В арифметике Пеано можно формализовать все рассуждения, для которых не нужны бесконечные множества. В частности, всю математику до 19 века, но не только её. Тем не менее, есть утверждения, которые в ней нельзя доказать, хотя они верны. Это следует из теорем Гёделя о неполноте. Доказательства Гёделя содержит конкретные примеры утверждений, которые недоказуемы в данной системе аксиом, но это специально сконструированные логические утверждения. Мы рассмотрим комбинаторную задачу (или задачи, если успеем), которая могла бы встретиться на олимпиаде, в формулировке которой нет ничего бесконечного, но которая недоказуема в арифметике Пеано.
216   Давайте науимся считать. 0, 1, 2, 3, 4, .... Что после многоточия? ω. А потом? ω+1, ω+2, .... А потом? 2ω, 2ω+1, ..., 3ω, ..., 4ω, ..., ω², ...ω³, ... ω^ω, ..., ω^ω^ω, .... Мы только начали, дальше будет много всего интересного!
  179 Давайте науимся считать. 0, 1, 2, 3, 4, .... Что после многоточия? ω. А потом? ω+1, ω+2, .... А потом? 2ω, 2ω+1, ..., 3ω, ..., 4ω, ..., ωІ, ...ωі, ... ω^ω, ..., ω^ω^ω, .... Мы только начали, дальше будет много всего интересного!
217 180 Последовательность Аккермана (1, 3, 7, 61, 2^(2^(2^(2^16))) - 3, дальше записать не получится) довольно быстро растёт. Но она в самом начале иерархии быстрорастущих функций, которую мы построим. Номера функций в этой последовательности --- ординалы.
218 181 Где-то гораздо дальше функции Аккермана будет число ходов, за которое Геркулес гарантированно победит гидру. Мы докажем, что эта функция растёт быстро и воспользуемся теоремой Вайнера, которая утверждает, что, если функция растёт достаточно быстро, то в арифметике Пеано не получится доказать то, что она всюду определена. А их того, что Геркулес всегда побеждает Гидру, следует, что наша функция всюду определена. В теорему Ванеры мы, скорее всего, поверим без доказательства.
219 182 Сначала попробуйте доказать, что Геркулес всегда побеждает гидру и / или что последовательность Гудстейна всегда приходит к 0.
… … …
221 184 Проект очень сложный, не гарантирую, что получится достичь заявленной цели
222 185
223 186
224   ==Скребцов Радий Юрьевич, rskrebtsov@179.ru==
225   ==={{anchor href="a31"}}Список задач на выбор https://drive.google.com/file/d/1RnGdr_-75NQ-7oG8WIC1LfZJcT41sJh-/view?usp=sharing. 7,8,10===
226   Список задач на выбор https://drive.google.com/file/d/1RnGdr_-75NQ-7oG8WIC1LfZJcT41sJh-/view?usp=sharing
227  
228   Описание 14 проектных задач на выбор можно найти в файле по ссылке https://drive.google.com/file/d/1RnGdr_-75NQ-7oG8WIC1LfZJcT41sJh-/view?usp=sharing у каждой задачи есть краткое описание, что подразумевается сделать, но также любую задачу можно видоизменить по интересам конкретных исследователей.
229   ВАЖНО сообщить мне о выбранных проектах до 20 мая, чтобы была возможность подготовить оборудование. Если этого не сделать вовремя, то часть проектов выполнить не получится. Исследованиями по каждой задаче может заниматься по 1-2 ученика, но для съемки и монтажа видеоролика нужны дополнительные люди.
230  
231  
232   ==Саша Юран, t.me/karapsina==
233   ==={{anchor href="a31"}}Японские головоломки . (любой класс)===
234   Существует великое множество головоломок, которые можно решать на бумаге. Все знают судоку и номограммы (они же японские кроссворды). Есть и другие. Лично мне больше всего нравятся masyu и yajilin. В проекте можно заниматься разными вещами, например, придумать новый вид головоломок или научиться составлять головоломки старых видов. Можно задаться вопросом: какое минимальное количество информации должно быть дано, чтобы решение головоломки стало единственным? Например, какое минимальное количество клеток нужно покрасить на доске n*n так, чтобы по всем белым клеткам был ровно один способ пройти по циклу, переходя только в соседние по стороне клетки?
235  
236   Материалы: погглите и поразгадывайте какие-нибудь головоломки. Например, masyu, yajilin, nurikabe, tapa, итд. Например, на сайте https://puzz.link/db/
237  
238  
239  
240   ==={{anchor href="a31"}}Циклические коды . 10===
241   Теория кодирований занимается следующим вопросом: как закодировать сообщение так, чтобы даже если при передаче сообщения возникло несколько ошибок, можно было восстановить исходное сообщение. Для исправления k ошибок подряд, к примеру, достаточно построить набор строк из нулей и единиц такой, что любые две строки набора отличаются друг от друга хотя бы в k позициях.
242  
243   Мы будем реализовывать один из таких кодов — циклический. У проекта две части: математическая, в которой мы будем строить код с применением линейной алгебры и круговых многочленов и программная, в которой нужно реализовать циклический код на компьютере и проверить, насколько качественно он работает.
244  
245   Материалы: для математической части нужно помнить теорию чисел (например, малую теорему Ферма), в реализационной части нужен кто-то, кто может написать класс.
246  
247   Материалы скоро будут в папке https://drive.google.com/drive/folders/1MTVMt8ES1H6mhzv8Xi4HB5OhjL5NEBtI
  187 ==Сергей Александрович Дориченко, @sergey_dorichenko==
  188 ==={{anchor href="a31"}}Многочлены, кривые и геометрия. ===
  189 Мы познакомимся с многочленами от двух переменных и кривыми, которые задаются этими многочленами.
  190
  191 Дадим красивое доказательство теорем Паппа и Паскаля с помощью многочленов (без вычислений!) и доказательство теоремы Брианшона с помощью радикальных осей.
  192  
  193 Среди вопросов, которые будут затрагиваться: почему радикальная ось - это прямая, можно ли задать на плоскости многочленом одну ветвь гиперболы, в скольких точках могут пересекаться
  194 две плоские алгебраические кривые и др.
  195  
  196 Предполагаются известными уравнение окружности, параболы, прямой в декартовых координатах.
248 197
249 198
250 199
… … …
254 203 Решать и обсуждать задачи из листка. При желании школьников, возможно провести открытую пару по теме проекта
255 204
256 205
  206 ==Веселова Варвара, тг @kryakar==  
  207 ==={{anchor href="a31"}}строим квест - рум. любой===  
  208 создадим свой квест, придумаем головоломки и подсказки, сколотим черные ящики, навешаем замки и зашифруем подсказки  
  209 план  
  210  - определимся с пространством  
  211  - создадим сюжет  
  212  - придумаем головоломки  
  213  - подготовим реквезит  
  214  - проведем квест  
  215  
  216  
  217 ==={{anchor href="a31"}}делаем свою настолку. любой===  
  218 в настоящее время постоянно выходят новые настолки. давайте попытаемся сделать свою. выберем механику, которая вам ближе, скрестим несколько имеющихся в мире и изобретем что-то совсем новое. сделаем красивые картиночки с помощью вашего художственного таланта или нейросетей, а потом представим творение нашему маленькому лагерному миру.  
  219  
  220  
  221  
  222 ==Челпанова Анастасия Владимировна, chelpanova@179.ru==  
  223 ==={{anchor href="a31"}}Актерское мастерство. 7,8,10===  
  224 Поговорим об основных эмоциях человека, их проявлениях, особенностях их демонстрации не сцене, и сложностях работы с ними. Попробуем актерское взаимодействие на примере заготовленных текстов и импровизаций. Это отличная возможность безобидно покричать друг на друга, посмеяться или поплакать вместе!  
  225 Результат проекта: доклад+актерские этюды.  
  226  
  227  
  228  
  229 ==Даша Аракелова и Даня Макаров, t.me/noumaa, t.me/danyam127==  
  230 ==={{anchor href="a31"}}Автоматическая оценка сочинений ЕГЭ. любой===  
  231 Сочинения на ЕГЭ проверяются вручную экспертами. А можно ли научить компьютер это делать? Мы поставим перед собой такую задачу: возьмем набор сочинений по русскому или английскому языку, которым уже выставлена оценка, и попробуем обучить модель, которая воспроизводит этот результат и оценивает новые сочинения. На этом частном случае задачи классификации текстов мы узнаем, как устроена обработка данных, как статистика применяется в машинном обучении и как работать с нейросетями. Для проекта понадобится знание Python.  
  232  
  233  
  234  
  235 ==={{anchor href="a31"}}Генерация текстов. любой===  
  236 Цель этого проекта – научиться компьютерными методами создавать новые тексты на основе других, заранее заданных. Мы поговорим о том, как с помощью частотных методов и программирования создать последовательность слов, похожую на естественную речь, и сможем сгенерировать текст в стиле писателя-классика или новостного канала, а потом посмотрим, как с этой задачей справляются нейросети. Для проекта понадобится знание Python.  
  237  
  238  
  239  
  240 ==Саша Юран, t.me/karapsina==  
  241 ==={{anchor href="a31"}}Японские головоломки . (любой класс)===  
  242 Существует великое множество головоломок, которые можно решать на бумаге. Все знают судоку и номограммы (они же японские кроссворды). Есть и другие. Лично мне больше всего нравятся masyu и yajilin. В проекте можно заниматься разными вещами, например, придумать новый вид головоломок или научиться составлять головоломки старых видов. Можно задаться вопросом: какое минимальное количество информации должно быть дано, чтобы решение головоломки стало единственным? Например, какое минимальное количество клеток нужно покрасить на доске n*n так, чтобы по всем белым клеткам был ровно один способ пройти по циклу, переходя только в соседние по стороне клетки?  
  243  
  244 Материалы: погглите и поразгадывайте какие-нибудь головоломки. Например, masyu, yajilin, nurikabe, tapa, итд. Например, на сайте https://puzz.link/db/  
  245  
  246  
  247  
  248 ==={{anchor href="a31"}}Циклические коды . 10===  
  249 Теория кодирований занимается следующим вопросом: как закодировать сообщение так, чтобы даже если при передаче сообщения возникло несколько ошибок, можно было восстановить исходное сообщение. Для исправления k ошибок подряд, к примеру, достаточно построить набор строк из нулей и единиц такой, что любые две строки набора отличаются друг от друга хотя бы в k позициях.  
  250  
  251 Мы будем реализовывать один из таких кодов — циклический. У проекта две части: математическая, в которой мы будем строить код с применением линейной алгебры и круговых многочленов и программная, в которой нужно реализовать циклический код на компьютере и проверить, насколько качественно он работает.  
  252  
  253 Материалы: для математической части нужно помнить теорию чисел (например, малую теорему Ферма), в реализационной части нужен кто-то, кто может написать класс.  
  254  
  255 Материалы скоро будут в папке https://drive.google.com/drive/folders/1MTVMt8ES1H6mhzv8Xi4HB5OhjL5NEBtI  
  256  
  257  
  258  
257 259 ==Райко Илья Глебович, https://t.me/ilya0x2dilya==
258 260 ==={{anchor href="a31"}}Как компьютеры доказывают теоремы?. 10===
259 261 Всем известно, что теорема о четырёх красках была доказана при помощи компьютера, но, что значит доказать что-то при помощи компьютера? В этом проекте вы познакомитесь с математическими "принципами", которые лежат в основе большинства систем проверки и автоматического вывода доказательств, а если останутся силы и желание, научимся доказывать теоремы при помощи компьютера или даже напишем свою модельную систему доказательств.
… … …
261 263 Требования. Нужно быть близко знакомыми с основами математической логики: знать и не боятся кванторов, знать базовые свойства логических связок (например, что A & A = A). Необязательным плюсом будет умение строить К/ДНФ.
262 264
263 265
264    
265