Факультативы от кафедры дискретной математики (весна 2020)

Для того, чтобы записаться на курс, достаточно прийти на первое занятие, и сообщить об этом преподавателю. Подробная информация будет публиковаться на странице кафедры.

Дзета – функция Римана

Дзета-функция Римана играет очень важную роль в аналитической теории чисел, имеет приложения в теоретической физике, статистике, теории вероятностей.

На спецкурсе будут рассмотрены следующие темы:

• Определение и основные свойства дзета-функции Римана
• Функциональное уравнение
• «Точные» формулы
• Гипотеза Римана и распределение простых чисел
• L-функции Дирихле

Лектор: Мороз Б.З.
День и время: Среда, с 18.30 до 20.00
Аудитория: 413 ГК
Первое занятие: 5 февраля

Подробнее о курсе читайте здесь.

Лекции по алгебраической теории чисел

Алгебраическая теория чисел, возникшая около 150 лет тому назад из попыток доказать «Великую Теорему Ферма» (доказанную в конце прошлого века) — одна из красивейших и труднейших областей современной математики. Начав спецкурс с короткого обзора о группах, кольцах и полях, лектор докажет несколько основных теорем этой теории. Это годовой спецкурс.

На спецкурсе будут рассмотрены следующие темы:

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

Лектор: Мороз Б.З.
День и время: Понедельник, с 17.05 -до 18.30
Аудитория: 415 ГК
Первое занятие: 10 февраля

Подробнее о курсе читайте здесь.

Продвинутые темы в обучении с подкреплением

Участники курса узнают о современных исследованиях в области глубокого обучения с подкреплением и разберут основные статьи за последние несколько лет.

Лектор: А. Сорокин
День и время: Четверг 13 февраля С 19:00 до 20:30
Аудитория: ШАД
Первое занятие: 13 февраля

Объявления о времени следующей лекции публикуются на канале: https://t.me/theoreticalrl

Контакты: Артем Сорокин +7(965)758-51-38

Подробнее о курсе читайте здесь и в посте.

Дескрипционная логика и базы знаний

Дескрипционная логика является формальным исчислением, лежащим в
основе баз знаний (knowledge base) и семантический сетей (semantic
web). На занятиях планируется изучить эту систему, доказать полноту, обсудить алгоритмы разрешения этих логик и определить сложность алгоритмов. Планируется некоторая практическая часть с созданием своих баз знаний и запуском стандартных ризонёров.

На спецкурсе будут рассмотрены следующие темы:

• Логика ALC: синтаксис и семантика
• Базы знаний, основные алгоритмические задачи
• Связь с логикой предикатов
• Теоремы о полноте
• Табло-алгоритмы и сложность различных задач
• Расширения логики ALC
• Теоремы о неразрешимости

Лектор: Кудинов А.В.
День и время: Вторник с 18-30 до 20-00
Аудитория: 411 ГК
Первое занятие: 18 февраля

Подробнее о курсе читайте здесь.

Сюжеты из теории игр

Теория игр — прикладной раздел математики, метод изучения оптимальных стратегий в играх.

Лектор: Ильинский Д.Г. / Мусатов Д.В.
День и время: Пятница, с 18-30 до 20-00
Аудитория: Актовый зал ЛК
Первое занятие: 7 февраля

Введение в спектральную теорию графов

Лектор: Полянский А.А.
День и время: Четверг, с 17-00 до 18-30
Аудитория: 302 КПМ
Первое занятие: 13 февраля