Алексей Львович Семёнов

Выразимость и разрешимость.

А.Л.Семёнов планирует провести 1 лекцию.

Высказывания математического языка (в том числе, содержащие переменные, от значения которых зависит истинность утверждений) можно записывать на формальном языке математической логики.
(Например, можно использовать значок ∀ вместо выражения «для всех».)

Однако даже и без точного описания языка математической логики (которое, впрочем, будет дано) можно понять, что значит объяснить (выразить) одно из свойств чисел через другое, например, выразить свойство «быть простым числом» через свойство «делиться». В лекции будут рассмотрены примеры задач, относящихся к выразимости и невыразимости.

Среди высказываний математического языка можно выделить те, которые не содержать переменных и называть их утверждениями. Было бы хорошо иметь общий способ, пусть даже и очень громоздкий, который про любое утверждение, касающееся чисел (или иных математических объектов) и отношений между ними, позволяет установить, истинно оно или ложно. Будут приведены примеры, когда такой способ есть, и когда его нет.

Желательно знакомство с курсом математики в объеме начальной школы и бытовое представление об оси действительных чисел.

Программа курсов и семинаров МЦНМО-НМУ в весеннем семестре 2024/2025 года

Расписание занятий в этом семестре

Курсы, читавшиеся в НМУ в разные годы (All Courses)

Если не указано иное, то начало занятий 7 февраля 2025.

Все обязательные курсы, почти все спецкурсы и некоторые доклады на спецсеминарах будут записываться на видео. Они будут доступны на общедоступном ресурсе.

К ВИДЕО-записям курсов этого семестра

Обязательные курсы

Первый курс

Константин Валерьевич Логинов

Алгебра-2

читается по понедельникам с 17:30, очно+трансляция.

 

Георгий Черных

Топология-1

читается по четвергам с 17:30, очно+трансляция.

 

Олег Карлович Шейнман

Математический анализ-2

читается по пятницам с 17:30, очно+трансляция.

 

Второй курс

Тарас Евгеньевич Панов

Топология-3

читается по понедельникам с 17:30 (семинары с 19:20), очно+трансляция

 

Алексей Викторович Пенской

Дифференциальная геометрия

читается по средам с 17:30 (семинары с 19:20), очно+трансляция

 

Алексей Игоревич Ильин

Алгебра-4 (Группы и алгебры Ли)

читается по четвергам с 17:30, очно+трансляция.

 

Список спецкурсов и спецсеминаров в весеннем семестре 2024/2025 года

Михаил Юрьевич Розенблюм

Алгебраическая теория чисел: введения. Продолжение годового спецкурса

 

Денис Николаевич Терешкин

Аддитивные и абелевы категории. Спецкурс рекомендован для 3-5 курсов.

 

Константин Валерьевич Логинов

Введение в ограниченность многообразий Фано. Спецкурс рекомендован для 3-5 курсов.

 

Георгий Игоревич Шарыгин

Циклические гомологии и их применения. Спецкурс рекомендован для 3-5 курсов.

 

Андроник Арамович Арутюнов

Грубая геометрия. Спецкурс в формате лекция + семинар, рекомендован для 3-5 курсов.

 

Андрей Дмитриевич Рябичев

Введение в поверхности бесконечного типа. Спецкурс рекомендован для 3-5 курсов.

 

Георгий Борисович Шабат

Тэта-функции и решетки. Часть 2. Спецкурс рекомендован для 3-5 курсов.

 

Тарас Евгеньевич Панов

Торическая топология, комбинаторика и теория гомотопий. Спецсеминар

 

Георгий Игоревич Шарыгин и др.

Деформационное квантование и квантовые группы. Спецсеминар

 

А.М.Вербовецкий и И.С.Красильщик

Когомологические аспекты геометрии дифференциальных уравнений,
руководители А.М.Вербовецкий и И.С.Красильщик

 

Николай Германович Мощевитин

Диофантовы приближения. Спецсеминар рекомендован для 3-5 курсов

 

Владимир Олегович Медведев

Геометрия общей теории относительности. Спецкурс совместно с матфаком ВШЭ, рекомендован для 3-5 курсов. 

 

Алексей Викторович Пенской

Риманова геометрия. Спецкурс совместно с матфаком ВШЭ, рекомендован для 3-5 курсов.

 

Александр Борисович Калмынин

Методы решета. Спецкурс рекомендован для 3-5 курсов.

 

Алексей Викторович Пенской

 Спектральная геометрия. Спецсеминар рекомендован для 3-5 курсов.