#матлог #учёба #спецкурс

Н.К.Верещагин прочитает спецкурс «Апериодические замощения». Это полугодовой спецкурс по выбору кафедры.

Первая лекция: 10 сентября

Место проведения: зум

Время проведения: вторник 18:30–20:05

Страница спецкурса: http://logic.math.msu.ru/staff/ver/old/tilings/tilings2024/

Аннотация.
Пусть задан набор плиток, каждая из которых является многоугольником, и заданы локальные правила их соединения друг с другом. Такой набор называется апериодическим, если с его помощью можно замостить всю плоскость, но любое такое замощение непериодично. Интерес к апериодическим замощениям у логиков возник потому, что с их помощью можно доказать неразрешимость некоторых фрагментов исчисления предикатов. Сейчас известно около двух десятков апериодических наборов. Наиболее известными из них являются замощения Пенроуза, предположительно, связанные с квазикристаллами.

🔗 Курс «Апериодические замощения». Осень 2024 — Кафедра математической логики и теории алгоритмов меха


➰ ВК