Конструктивная логика

Название спецкурса на английском языке
Constructive logic
Авторы курса
Плиско Валерий Егорович
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
Интуиционистская логика
Теория алгоритмов
Конструктивные интерпретации логических и логико-математических языков
Список источников
В.Е.Плиско, В.Х.Хаханян, Интуиционистская логика. М.: Мехмат МГУ, 2009.
В.Е.Плиско, Лекции по конструктивной логике. М.: Луч, 2021.
День недели
пятница
Время
18:30-20:05
Аудитория
425
Дата первого занятия
Аудитория первого занятия
Ещё не назначена

Сложность вычислений

Название спецкурса на английском языке
Computational complexity
Авторы курса
Верещагин Николай Константинович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
Теорема Фишера–Рабина об экспоненциальной нижней оценки времени разрешения элементарной теории поля действительных чисел.
Класс NP. NP полные и NP трудные задачи. Теорема Кука — Левина об NP-полноте проблемы выполнимости.
Вероятностные полиномиальные алгоритмы. Класс BPP. Уменьшение вероятности ошибки и вложение класса BPP в класс P/poly.
Список источников
M. Гэри, Д. Джонсон. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982.
A. Китаев, А. Шень, М. Вялый. Классические и квантовые вычисления. М.: МЦНМО, ЧеРо, 1999.
Т. Кормен, Ч. Лейзерсон, Р. Ривест. Алгоритмы: построение и анализ. М.: МЦНМО, 2001.
День недели
вторник
Время
18:30-20:05
Аудитория
424
Аудитория первого занятия
424

Проблемы алгоритмической разрешимости теорий для алгебры и анализа

Название спецкурса на английском языке
Problems of algorithmic decidability of theories for algebra and analysis
Авторы курса
Сперанский Станислав Олегович
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
Экскурс в логику первого порядка. Теории классов структур. Гёделевская нумерация.
Метод элиминации кванторов и его применения. Разрешимость теории упорядоченных делимых абелевых групп.
Разрешимость теории упорядоченной группы целых чисел по сложению. Определимость в данной группе. Арифметика Пресбургера.
Теорема Тарского–Зайденберга и разрешимость теории упорядоченного поля вещественных чисел.
Интерпретации между структурами. Разрешимость теории поля комплексных чисел и элементарной геометрии.
Алгебраически замкнутые и вещественно замкнутые поля. Применение элиминации кванторов к решению 17-ой проблемы Гильберта.
Интерпретации между классами структур. Интерпретации между теориями.
Существенная и наследственная неразрешимости. Перенос результатов о неразрешимости посредством интерпретаций.
«Минимальная» арифметика и представимость в ней. Существенная неразрешимость теории дискретно упорядоченных колец.
Построение наследственно неразрешимой теорий в сигнатуре арифметики.
Наследственная неразрешимость теории конечных простых графов.
. Наследственная неразрешимость теории конечных симметрических групп (с помощью теории двух эквивалентностей на общем конечном носителе).
Элементарный язык вероятностных пространств. Безатомные пространства. Разрешимость теории безатомных вероятностных пространств.
Наследственная неразрешимость теории конечных вероятностных пространств.
Язык арифметики второго порядка. Монадическая (второпорядковая) определимость в структуре натуральных чисел со сложением. Вычислимая эквивалентность теории дискретных вероятностных пространств и полной арифметики второго порядка.
Обзор результатов, связанных с векторными пространствами, метрическими пространствами и нормированными пространствами.
Список источников
Ю.Л. Ершов, Е.А. Палютин. Математическая логика. 6-е издание. Физматлит, 2011.
Н.К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 2: Языки и исчисления. 4-е издание. Издательство МЦНМО, 2012.
Х. Роджерс. Теория рекурсивных функций и эффективная вычислимость / Пер. с англ. В.А. Душского, М.И. Кановича и Е.Ю. Ногиной под ред. В.А. Успенского. Мир, 1972. На англ.: H. Rogers, Jr. Theory of Recursive Functions and Effective Computability. McGraw-Hill, 1967.
P.J. Cohen. Decision procedures for real and p-adic fields. Communications of Pure and Applied Mathematics XXII, 131–151, 1969.
H.B. Enderton. A Mathematical Introduction to Logic. 2nd edition. Academic Press, 2001.
S.O. Speranski. A note on definability in fragments of arithmetic with free unary predicates. Archive for Mathematical Logic 52, 507–516, 2013.
S.O. Speranski. An ‘elementary’ perspective on reasoning about probability spaces. Logic Journal of the IGPL, jzae042, 2024.
Дополнительная информация

Спецкурс разработан при поддержке фонда "БАЗИС".

https://basis-foundation.ru/special-program/mathmech/courses/winners

День недели
пятница
Время
16:45-18:20
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Временные логики

Название спецкурса на английском языке
Temporal logics
Авторы курса
Шехтман Валентин Борисович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
Проблема полноты во временных логиках
Проблема разрешимости во временных логиках
Проблема определимости во временных логиках
Список источников
D.Gabbay, I.Hodkinson, M.Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Volume 1. Clarendon Press, 1994.
D. Goldblatt. Logic of time and computation. CSLI, 1987.
День недели
четверг
Время
16:45-18:20
Аудитория
424
Аудитория первого занятия
424

Коды с исправлением ошибок

Название спецкурса на английском языке
Error correcting codes
Авторы курса
Верещагин Николай Константинович
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (осень)
Тип курса
Курс научно-естественного содержания на английском языке
Учебный год
2024/25
Список тем
Кодовые слова, размерность, минимальное расстояние кодов.
Количество исправленных ошибок и стираний. Код Хэмминга [n-1,n,2].
Граница объема (она же граница Хэмминга). Граница Гилберта.
Формула для объема шара Хэмминга. Функция Шеннона.
Линейные коды.
Границы Варшамова-Гилберта.
Ансамбль кодов Возенкрафта.
Коды Хэмминга.
Граница синглтона. Коды Рида-Соломона.
Сцепленные коды. Коды Форни. Коды Форни-Жюстесена-Возенкрафта
Границы Плоткина и улучшение границы синглтона.
Коды Адамара.
Код Рида — Мюллера.
Коды БЧХ.
Декодирование списков из ошибок. Общие границы.
Декодирование списков и минимальное расстояние.
Декодирование списков из ошибок n-sqrt{n(n-d)} для кода Рида-Соломона.
Декодирование списка с (1-eps)/2 ошибками для кода Адамара
Теорема Голдрайха-Левина.
Список источников
А. Ромащенко, А. Румянцев и А. Шень, Заметки по теории кодирования, МЦНМО, 2011.
Дополнительная информация

Страница курса: http://logic.math.msu.ru/staff/ver/old/error-correcting-codes/ecc2024/

День недели
понедельник
Время
10:45-12:20
Аудитория
1604
Дата первого занятия
Аудитория первого занятия
1604
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Компьютерный анализ клеточных типов

Название спецкурса на английском языке
Computer analysis of cell types
Авторы курса
Любецкий Василий Александрович
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
Нелинейное снижение размерности данных: функция UMAP.
Нелинейное снижение размерности данных: минимизация суммы дивергенций Кульбака-Лейблера по всем рёбрам графа.
Лемма Джонсона-Линденштрауса.
Дифференциально значимые строки и син-кластеры. Классификация син-кластеров на основе расстояния между ними.
Список источников
Butler A, Hoffman P, Smibert P, Papalexi E, Satija R. Integrating data across different
conditions, technologies, and species. Nat Biotechnol. 2018 Jun;36(5):411-420. doi:
10.1038/nbt.4096. Epub 2018 Apr 2 PMID: 29608179; PMCID: PMC6700744.
Дополнительная информация

Страница спецкурса: http://logic.math.msu.ru/staff/lyubetsky/mmdp/. 

Этот спецкурс - вторая половина спецкурса "Современные методы обработки данных".

Слушатели должны зарегистрироваться по адресу gorbunov@iitp.ru, сообщив о себе: ФИО полностью, факультет, группу, свой email и мобильный.

Компьютерная обработка больших данных — универсальное направление исследований буквально во всех областях естественных и гуманитарных наук. В тоже время такая обработка опирается на методы современной математики, от алгоритмов до геометрии. Используемые здесь методы/алгоритмы в основном эвристические, интуитивно построенные, для которых почти неизвестны доказательства их правильности. Более того, обычно не существует даже математической постановки задачи, решаемой таким эвристическим алгоритмом; сама эта задача понимается интуитивно, на основе компьютерных экспериментов и опыта применения в данной прикладной области. Будет рассказан, так называемый, метод Seurat, широко применяемый в разных прикладных задачах и особенно в биоинформатике. Будут обсуждаться проблемы его обоснования, далёкие от математического решения. Будут предложены компьютерные вычислительные программистские математические задачи, как и реально прикладные, для курсовых и дипломных работ; для аспирантских тем. Никакие предварительные знания не предполагаются; все необходимые сообщаются на лекциях. После каждой лекции предполагается факультативный семинар и обсуждение задач.

Литература.

Первые три ссылки -- пример полного счёта программы и страница с подробным описанием каждой функции пакета Seurat. Далее  работы, полезные по всем пунктам:

https://satijalab.org/seurat/articles/pbmc3k_tutorial

https://satijalab.org/seurat/reference/

https://github.com/satijalab/seurat/tree/main/src

 

Далее отдельные статьи по пунктам выше/ниже.

1) дисп строки почти не зависит средн строки

Преобразование данных к log-нормальному виду.

Nucleic Acids Research, 2008, Vol. 36, No. 2 e11 doi:10.1093/nar/gkm1075

 

2) строки с большой дисп по окрестности yi

Выделение строк числовой матрицы с большой вариабельностью.

Кластеризация точек многомерного пространства: алгоритм и программа, счёт прикладной задачи.

Лекции.

https://en.wikipedia.org/wiki/Local_regression

Traag, V.A., Waltman, L. & van Eck, N.J. From Louvain to Leiden: guaranteeing well-connected communities. Sci Rep 9, 5233 (2019). https://doi.org/10.1038/s41598-019-41695-z

 

3) хорошие коор-ты столбца, и оставить информативные коор-ты

Выбор наиболее информативных строк числовой матрицы с большой вариабельностью.

Кластеризация столбцов числовой матрицы на основе методов Seurat и Single R.

 

Traag, V.A., Waltman, L. & van Eck, N.J. From Louvain to Leiden: guaranteeing well-connected communities. Sci Rep 9, 5233 (2019). https://doi.org/10.1038/s41598-019-41695-z

https://en.wikipedia.org/wiki/Local_regression

Stuart T. et al. ComprehensiveIntegration of Single-Cell Data. Cell 177, 1888–1902, June 13, 2019. https://doi.org/10.1016/j.cell.2019.05.031

 

 

4) в множестве М точек ранговые веса рёбер

Графовое представление множества точек многомерного пространства.

Лекции.

 

5) начальную кластеризацию столбцов

Выбор начального графового представления множества точек многомерного пространства.

Лекции.

 

6) максимум фун-и модулярности, итеративно

Выбор наиболее экспрессируемых строк числовой матрицы.

Лекции.

Traag, V.A., Waltman, L. & van Eck, N.J. From Louvain to Leiden: guaranteeing well-connected communities. Sci Rep 9, 5233 (2019). https://doi.org/10.1038/s41598-019-41695-z

 

7) диф-экспрессированные строки: МУВ+БХ

 Максимизация функции модулярности на графах.

https://en.wikipedia.org/wiki/Local_regression

Stuart T. et al. ComprehensiveIntegration of Single-Cell Data. Cell 177, 1888–1902, June 13, 2019. https://doi.org/10.1016/j.cell.2019.05.031 

8) понизить размерность: новые веса+КЛ

Stuart T. et al. ComprehensiveIntegration of Single-Cell Data. Cell 177, 1888–1902, June 13, 2019. https://doi.org/10.1016/j.cell.2019.05.031

McInnes, L, Healy, J, UMAP: Uniform Manifold Approximation and Projection for Dimension Reduction, ArXiv e-prints 1802.03426, 2018

День недели
понедельник
Время
16:45-18:20
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Математические методы анализа данных

Название спецкурса на английском языке
Mathematical methods of data analysis
Авторы курса
Любецкий Василий Александрович
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
Постановка задачи о классификации столбцов неотрицательной числовой матрицы данных. Нормирование данных для удаления шума. Зависимость дисперсии и среднего строки.
Понижение размерности данных (матрица часто порядка 30 тысяч на 50 и более тысяч) на основе анализа её собственных чисел.
Кластеризация столбцов на основе анализа k-ближайших соседей. Выбор начального разбиения графа столбцов.
Кластеризация столбцов на основе анализа k-ближайших соседей. Оптимизация начального разбиения на основе максимума функции модулярности.
Список источников
Butler A, Hoffman P, Smibert P, Papalexi E, Satija R. Integrating data across different
conditions, technologies, and species. Nat Biotechnol. 2018 Jun;36(5):411-420. doi:
10.1038/nbt.4096. Epub 2018 Apr 2 PMID: 29608179; PMCID: PMC6700744.
Дополнительная информация

Страница спецкурса: http://logic.math.msu.ru/staff/lyubetsky/mmdp/. 

Этот спецкурс - первая половина годового спецкурса "Современные методы обработки данных".

Слушатели должны зарегистрироваться по адресу gorbunov@iitp.ru, сообщив о себе: ФИО полностью, факультет, группу, свой email и мобильный.

Компьютерная обработка больших данных — универсальное направление исследований буквально во всех областях естественных и гуманитарных наук. В тоже время такая обработка опирается на методы современной математики, от алгоритмов до геометрии. Используемые здесь методы/алгоритмы в основном эвристические, интуитивно построенные, для которых почти неизвестны доказательства их правильности. Более того, обычно не существует даже математической постановки задачи, решаемой таким эвристическим алгоритмом; сама эта задача понимается интуитивно, на основе компьютерных экспериментов и опыта применения в данной прикладной области. Будет рассказан, так называемый, метод Seurat, широко применяемый в разных прикладных задачах и особенно в биоинформатике. Будут обсуждаться проблемы его обоснования, далёкие от математического решения. Будут предложены компьютерные вычислительные программистские математические задачи, как и реально прикладные, для курсовых и дипломных работ; для аспирантских тем. Никакие предварительные знания не предполагаются; все необходимые сообщаются на лекциях. После каждой лекции предполагается факультативный семинар и обсуждение задач.

День недели
понедельник
Время
16:45-18:20
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Современные методы обработки данных

Название спецкурса на английском языке
Modern methods of data processing
Авторы курса
Любецкий Василий Александрович
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Год
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
Постановка задачи о классификации столбцов неотрицательной числовой матрицы данных. Нормирование данных для удаления шума. Зависимость дисперсии и среднего строки.
Понижение размерности данных (матрица часто порядка 30 тысяч на 50 и более тысяч) на основе анализа её собственных чисел.
Кластеризация столбцов на основе анализа k-ближайших соседей. Выбор начального разбиения графа столбцов.
Кластеризация столбцов на основе анализа k-ближайших соседей. Оптимизация начального разбиения на основе максимума функции модулярности.
Нелинейное снижение размерности данных: функция UMAP.
Нелинейное снижение размерности данных: минимизация суммы дивергенций Кульбака-Лейблера по всем рёбрам графа.
Лемма Джонсона-Линденштрауса.
Дифференциально значимые строки и син-кластеры. Классификация син-кластеров на основе расстояния между ними.
Список источников
Butler A, Hoffman P, Smibert P, Papalexi E, Satija R. Integrating data across different
conditions, technologies, and species. Nat Biotechnol. 2018 Jun;36(5):411-420. doi:
10.1038/nbt.4096. Epub 2018 Apr 2 PMID: 29608179; PMCID: PMC6700744.
Дополнительная информация

Страница спецкурса: http://logic.math.msu.ru/staff/lyubetsky/mmdp/. 

Курс можно сдавать как два полугодовых или как годовой. Названия полугодовых «половинок»: «Математические методы анализа данных (Mathematical methods of data analysis)», «Компьютерный анализ клеточных типов (Computer analysis of cell types)».

Слушатели должны зарегистрироваться по адресу gorbunov@iitp.ru, сообщив о себе: ФИО полностью, факультет, группу, свой email и мобильный.

Компьютерная обработка больших данных — универсальное направление исследований буквально во всех областях естественных и гуманитарных наук. В тоже время такая обработка опирается на методы современной математики, от алгоритмов до геометрии. Используемые здесь методы/алгоритмы в основном эвристические, интуитивно построенные, для которых почти неизвестны доказательства их правильности. Более того, обычно не существует даже математической постановки задачи, решаемой таким эвристическим алгоритмом; сама эта задача понимается интуитивно, на основе компьютерных экспериментов и опыта применения в данной прикладной области. Будет рассказан, так называемый, метод Seurat, широко применяемый в разных прикладных задачах и особенно в биоинформатике. Будут обсуждаться проблемы его обоснования, далёкие от математического решения. Будут предложены компьютерные вычислительные программистские математические задачи, как и реально прикладные, для курсовых и дипломных работ; для аспирантских тем. Никакие предварительные знания не предполагаются; все необходимые сообщаются на лекциях. После каждой лекции предполагается факультативный семинар и обсуждение задач.

День недели
понедельник
Время
16:45-18:20
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.