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

Название спецкурса на английском языке
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
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.

Комбинаторика слов

Название спецкурса на английском языке
Combinatorics on words
Авторы курса
Канель-Белов Алексей Яковлевич, Golafshan Mehdi
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (осень)
Тип курса
Спецкурс на английском языке
Учебный год
2024/25
Список тем
Введение в комбинаторику слов
Основные понятия комбинаторики слов
Палиндромы
Механизмы генерации и классификации бесконечных слов
Слова Линдона
Слова Штурма
Дополнительные темы по комбинаторике слов
Практическое применение и заключение
Список источников
V. Berthe, M. Rigo (Ed.), Combinatorics, Automata and Number Theory, Cambridge Univ.
Press (2010).
G. Rozenberg, A. Salomaa (Ed.), Handbook of Formal Languages, Springer (1997).
D. Lind, B. Marcus, An Introduction to Symbolic Dynamics and Coding, Cambridge Univ.
Press (1995).
M. Lothaire, Combinatorics on Words, Cambridge University Press, Cambridge, 1997.
M. Lothaire, Algebraic Combinatorics on Words, Cambridge University Press, Cambridge,
2002.
J. Karhumaki, Combinatorics of words, Lecture Notes, Univ.of Turku.
M. Rigo, Formal Languages, Automata and Numeration Systems 1, Wiley-ISTE, 2014.
Дополнительная информация

Ссылка на телеграм-канал курса.

Пожалуйста, обратите внимание на следующие важные замечания. В случае их игнорирования ответственность полностью ложится на студента:

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

2. Студенты, которые хотят официально записаться на курс, сдать экзамен и получить оценку, должны отправить письмо на указанный ниже адрес до декабря (подчеркиваю, до декабря). В противном случае оценка не будет присвоена. mgolafshan@yandex.ru

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

Математическая логика

Название спецкурса на английском языке
Mathematical logic
Авторы курса
Вишникин Максим Евгеньевич, Яворская Татьяна Леонидовна
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Год
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
Аксиоматическая теория множеств
Интуиционистская логика
Исчисление предикатов
Элиминация кванторов
Рекурсивные функции
Теорема Геделя о неполноте
Список источников
T. Jech. Set theory, The Third Millenium Edition. Springer, 2006.
W. Rautenberg. A concise introduction to mathematical logic. Springer, 2010.
D. Gabbay, V. Shehtman, D. Skvortsov. Quantification in nonclassical logic, vol. 1. Draft of the 2nd edition, 2012.
В. Е. Плиско, В. Х. Хаханян. Интуиционистская логика. — М.: Изд-во при мех.-мат. ф-те МГУ, 2009.
G. Boolos. The logic of provability. Cambridge University Press, 1993.
K. Hrbacek, T. Jech. Introduction to set theory (3rd ed.). Marcel Dekker Inc., 1999.
Дополнительная информация

Обязательный спецкурс для студентов кафедры математической логики и теории алгоритмов

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