Кафедра математической логики и теории алгоритмов

Спецкурсы

См. также: спецсеминары кафедры.

База данных мехмата спецкурсов и спецсеминаров, засчитываемых студентам в текущем учебном году:

• спецкурсы • спецсеминары

Спецкурсы: осень 2024

  • Математическая логика (М.Е.Вишникин, Т.Л.Яворская)
    Годовой спецкурс по выбору кафедры. Спецкурс является обязательным для студентов кафедры.
    среда 12:30-14:05, аудитория 464.

  • Современные методы обработки данных (Modern methods of data processing) (В. А. Любецкий)
    Годовой спецкурс по выбору кафедры, понедельник 16:45–18:20, начало 30 сентября. Спецкурс читается осенью 1 раз в 2 недели, весной 1 раз в неделю. В смешанной форме (начинаем удалённо, для получения ссылки необходимо зарегистрироваться).
    Ссылка на страницу спецкурса: http://logic.math.msu.ru/staff/lyubetsky/mmdp/.
    Курс можно сдавать как два полугодовых или как годовой. Названия полугодовых «половинок»: «Математические методы анализа данных (Mathematical methods of data analysis)», «Компьютерный анализ клеточных типов (Computer analysis of cell types)».
    Слушатели должны зарегистрироваться по адресу gorbunov@iitp.ru, сообщив о себе: ФИО полностью, факультет, группу, свой email и мобильный.
    [su_spoiler style=»fancy» icon=»arrow» title=»Информация о спецкурсе»]
    Компьютерная обработка больших данных — универсальное направление исследований буквально во всех областях естественных и гуманитарных наук. В тоже время такая обработка опирается на методы современной математики, от алгоритмов до геометрии. Используемые здесь методы/алгоритмы в основном эвристические, интуитивно построенные, для которых почти неизвестны доказательства их правильности. Более того, обычно не существует даже математической постановки задачи, решаемой таким эвристическим алгоритмом; сама эта задача понимается интуитивно, на основе компьютерных экспериментов и опыта применения в данной прикладной области. Будет рассказан, так называемый, метод Seurat, широко применяемый в разных прикладных задачах и особенно в биоинформатике. Будут обсуждаться проблемы его обоснования, далёкие от математического решения. Будут предложены компьютерные вычислительные программистские математические задачи, как и реально прикладные, для курсовых и дипломных работ; для аспирантских тем. Никакие предварительные знания не предполагаются; все необходимые сообщаются на лекциях. После каждой лекции предполагается факультативный семинар и обсуждение задач.
    [/su_spoiler]
  • Метод резолюций (The Resolution Method) (В. Е. Плиско)
    Полугодовой спецкурс по выбору кафедры, пятница 18:30–20:05, аудитория 425. Первая лекция 13 сентября.
    [su_spoiler style=»fancy» icon=»arrow» title=»Информация о спецкурсе»]
    Аннотация
    В спецкурсе детально излагается так называемый метод резолюций, используемый при построении систем автоматического доказательства теорем. Содержание: логика первого порядка; теорема Эрбрана; метод резолюций для логики высказываний; алгоритм унификации; метод резолюций для логики предикатов; уточнения исчисления резолюций; применения метода резолюций в математической логике. Предварительных знаний из области математической логики не требуется.

    Литература:

    1. В.Н.Крупский, В.Е.Плиско. Математическая логика и теория алгоритмов. М.: Академия, 2013. Глава 14.
    2. Ч.Чень, Р.Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.
    3. A.Leitsch. The Resolution Calculus. Springer, 1997.

    [/su_spoiler]

  • Combinatorics on Words (Mehdi Golafshan, Alexei Kanel-Belov)
    Полугодовой спецкурс на английском языке, среда 19:00-21:00. Первая лекция 18 сентября.
    [su_spoiler style=»fancy» icon=»arrow» title=»Информация о спецкурсе»]
    Содержание курса и критерии оценивания. Ссылка на телеграм-канал курса.

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

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

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

  • Апериодические замощения (Aperiodic tilings) (Н. К. Верещагин)
    Полугодовой спецкурс по выбору кафедры, вторник 18:30–20:05, начало 10 сентября. Спецкурс читается дистанционно.
    Ссылка на страницу спецкурса http://logic.math.msu.ru/staff/ver/old/tilings/tilings2024/
    [su_spoiler style=»fancy» icon=»arrow» title=»Информация о спецкурсе»]
    Аннотация.
    Пусть задан набор плиток, каждая из которых является многоугольником, и заданы локальные правила их соединения друг с другом. Такой набор называется апериодическим, если с его помощью можно замостить всю плоскость, но любое такое замощение непериодично. Интерес к апериодическим замощениям у логиков возник потому, что с их помощью можно доказать неразрешимость некоторых фрагментов исчисления предикатов. Сейчас известно около двух десятков апериодических наборов. Наиболее известными из них являются замощения Пенроуза, предположительно, связанные с квазикристаллами.
    Подробная программа: https://www.dropbox.com/s/tvfij3mbjzdfngt/program.pdf?dl=0
    Группа в Телеграм https://t.me/+qIHk0bC0Xb5hM2Qy
    [/su_spoiler]
  • Комбинаторные сложностные характеристики бесконечных слов (Complexity functions of infinite words) (В.О.Кирова)
    Полугодовой спецкурс по выбору студента, вторник 16:45–18:20, аудитория 425, первая лекция 1 октября.
    Спецкурс был поддержан фондом «БАЗИС».
    [su_spoiler style=»fancy» icon=»arrow» title=»Информация о спецкурсе»]
    Курс включает основы комбинаторики слов и отвечает на вопросы: какими свойствами может и не может обладать множество подслов данного слова? Сколько заданным образом фрагментов определённого размера может содержаться в бесконечном слове? Как меняется их количество? В рамках курса будет представлен полный обзор имеющихся функций сложности бесконечных слов, которых более десятка: сложность Ли, Абелева сложность, k-абелева сложность, максимальная шаблонная сложность, сложность цикла, биномиальная сложность, оконная сложность, периодическая сложность, полиномиальная сложность. Для ряда функций будет представлен перечень открытых исследовательских задач.
    Телеграм-чат курса https://t.me/+cZF2Z9nYBlBmMzZi.
    [/su_spoiler]
  • Коды с исправлением ошибок (Н.К.Верещагин)
    ЕНС на иностранном языке, понедельник 10:45–12:20, аудитория 1604, первая лекция 7 октября.
    Страница курса.

Спецкурсы МИАН (тоже можно сдавать)

Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).

Также будут читаться следующие курсы в рамках Базовой кафедры «Методы современной математики» МИАН в МФТИ.

Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.

Какие спецкурсы нужно сдавать студенту мехмата?

Таблица ниже лишь для студентов отделения математики.
Остальным необходимо смотреть рабочие планы мехмата.
Спецкурсы по выбору кафедры ⊆ спецкурсы по выбору студента.
 

Курс Сдаваемые спецкурсы
3 курс годовой спецкурс по выбору кафедры (экзамен)
4 курс годовой спецкурс по выбору студента (экзамен)
4 курс осень Курс ЕНС (любой на выбор студента) (экзамен)
4 курс весна Курс ЕНС (любой на выбор студента) (экзамен)
5 курс осень 3 полугодовых с/к по выбору кафедры (экз+экз+зач)
Курс ЕНС (любой на выбор студента) (экзамен)
5 курс весна 2 полугодовых с/к по выбору кафедры (экз + зачет)
Спецкурс на иностранном языке (экзамен)
Курс ЕНС (любой на выбор студента) (зачет)
6 курс осень Курс ЕНС (любой на выбор студента) (зачет)
ЕНС на иностранном языке (зачет)
4 полугодовых спецкурса по выбору студента (экз+экз+экз+экз)
6 курс весна —

[su_spoiler style=»fancy» icon=»arrow» title=»Спецкурсы (весна 2024)»]

Информация о спецкурсе
В спецкурсе излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. От слушателей не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в курсе.
Контакты:
http://logic.math.msu.ru/staff/plisko/.
Литература, связанная с материалами курса:
В.Е.Плиско, В.Х.Хаханян. Интуиционистская логика. М.:Издательство при мех.-мат. факультете МГУ, 2009.
В.Е.Плиско. Лекции по конструктивной логике. М.: ООО «Луч», 2021.

Информация о спецкурсе
Участники курса должны обязательно записаться (заново, даже кто был записан в прошлом семестре), сообщив по адресу:
gorbunov@iitp.ru свои ФИО, курс и группу, факультет, свой e-mail и мобильный.

Спецкурсы и семинары МИАН (тоже можно сдавать)

Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).

Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.

Также в МИАН продолжают работу научные семинары:

[/su_spoiler]

[su_spoiler style=»fancy» icon=»arrow» title=»Спецкурсы (осень 2023)»]

      • Современная теория множеств, дискретная оптимизация, математическая биология (В. А. Любецкий)
        годовой спецкурс по выбору кафедры, понедельник 16:45–18:20, начало 25 сентября, далее по чётным неделям.
        Курс можно сдавать как годовой или как один/два полугодовых (названия полугодовых «половинок»: «Современная теория множеств и дискретная оптимизация», «Математическая биология»).
        Курс не предполагает предварительных знаний и будет включать доклады студентов, аспирантов и коллег. Курс основан на публикациях последних лет лектора и коллег.
        Первый семестр будет посвящён современной теории множеств, где будут изложены основные идеи решения проблемы А. Тарского, которая оставалась открытой около 75 лет. И также – проблеме дискретной оптимизации, которая возникает в связи с описанием эволюции геномов. Эта проблема состоит в оптимальном продолжении графов, заданных в листьях дерева, на его внутренние вершины – чисто математический вопрос, хотя и имеющий важное прикладное значение. Второй семестр будет посвящён математическим моделям геномов, прежде всего, в связи с поиском ортологов, потерянных и приобретённых генов, регенеративной потенции организмов.Слушателям следует послать сведения о себе по адресу gorbunov@iitp.ru (ФИО, курс, группа, е-mail, мобильный) – в ответ будет послан пароль для подключения. Вопросы по адресу lyubetsk@iitp.ru.Ссылка на материалы спецкурса: http://logic.math.msu.ru/staff/lyubetsky/mb/, http://logic.math.msu.ru/staff/lyubetsky/, http://lab6.iitp.ru/ru/pub/.
      • Интуиционистская логика (В. Е. Плиско)
        полугодовой спецкурс по выбору кафедры, пятница 18:30-20:05, начало 22 сентября, аудитория 425 (2ГУМ).
        Этот спецкурс — первая часть годового спецкурса Конструктивность в математике и логике.

Перед спецкурсом в 16:45 работает спецсеминар «Вычислимость и неклассические логики» (в той же аудитории 425).
В спецкурсе излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. От слушателей не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в курсе.
Контакты:
http://logic.math.msu.ru/staff/plisko/.
Литература, связанная с материалами курса:
В.Е.Плиско, В.Х.Хаханян. Интуиционистская логика. М.:Издательство при мех.-мат. факультете МГУ, 2009.
В.Е.Плиско. Лекции по конструктивной логике. М.: ООО «Луч», 2021.

      • Колмогоровская сложность (Н. К. Верещагин)
        полугодовой спецкурс по выбору кафедры, четверг 18:30-20:05, начало 21 сентября, дистанционно.
        Информация о спецкурсе доступна по ссылке.
      • Темы в системах счисления (А.Л.Семенов, А.Я.Белов, M.Golafshan)
        спецкурс на английском языке, вторник 18:30-20:05, дистанционно.
        Аннотация. We survey the properties of sets of integers recognizable by automata when they are written in p-ary expansions. We focus on Cobham’s theorem which characterizes the sets recognizable in different bases p and on its generalization to N^m due to Semenov. We detail the remarkable proof recently given by Muchnik for the theorem of Cobham-Semenov.
        Просьба желающих связаться с Мехди: mgolafshan@yandex.ru.
        ОЧЕНЬ ВАЖНО: пожалуйста, присоединяйтесь к этому каналу для получения ссылки на класс и т.д.

Спецкурсы и семинары МИАН (тоже можно сдавать)

Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).

Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.

[/su_spoiler]

[su_spoiler style=»fancy» icon=»arrow» title=»Спецкурсы (весна 2023)»]

      • Конструктивная логика (В. Е. Плиско)
        Полугодовой спецкурс по выбору кафедры.
        2 полугодовых спецкурса «Интуиционистская логика» и «Конструктивная логика» объединяются в годовой спецкурс «Конструктивность в логике и математике».
        понедельник 16:45-18:20, начало 20 февраля, аудитория 425.
        Cсылка на спецкурс в базе мехмата.
      • Теория информации (Н. К. Верещагин)
        Полугодовой спецкурс по выбору кафедры.
        четверг 18:30-20:05, ссылка на спецкурс в базе мехмата.
      • Advanced course in classical logic
         (Н. К. Верещагин)
        Спецкурс на английском языке.
        понедельник 16:45-18:20, ссылка на спецкурс в базе мехмата.
      • Математическая биология и дискретная оптимизация (В. А. Любецкий)
        годовой спецкурс по выбору кафедры, понедельник 16:45–18:20, начало 20 февраля.
        Ссылка на спецкурс в базе мехмата.
        Сразу после спецкурса (понедельник 18:30–20:05) следует спецсеминар “Дискретная оптимизация и биоинформатика”.
      • Combinatorics on Words (Комбинаторика слов) (А. Л. Семёнов, А. Я. Канель-Белов, Г. Мехди)
        спецкурс на английском языке,
        четверг 19:00–21:00, онлайн (Zoom), начало 16 февраля.
        Ссылка на спецкурс в базе мехмата.
        Подробная информация о спецкурсе доступна по ссылке.
      • Математическая логика (Т.Л.Яворская, С.Л.Кузнецов)
        Годовой спецкурс по выбору кафедры. Спецкурс является обязательным для студентов кафедры.
        вторник 12:30-14:05, аудитория 1403.
        Cсылка на спецкурс в базе мехмата.

Спецкурсы и семинары МИАН (тоже можно сдавать)

Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).

Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.

Обратите внимание, что первая лекция по курсу “Неклассические логики” состоится 6 февраля, по остальным курсам и семинарам – на неделе, начинающейся с 13 февраля. Все курсы являются полугодовыми курсами по выбору кафедры.

[/su_spoiler]

[su_spoiler style=»fancy» icon=»arrow» title=»Спецкурсы (осень 2022)»]

      • Математическая биология и дискретная оптимизация (В. А. Любецкий)
        годовой спецкурс по выбору кафедры, понедельник 16:45–18:20, начало 26 сентября.
        Сразу после спецкурса (понедельник 18:30–20:05) следует спецсеминар “Дискретная оптимизация и биоинформатика”.
      • Интуиционистская логика (В. Е. Плиско)
        полугодовой спецкурс по выбору кафедры, понедельник 16:45-18:20, начало 10 октября, аудитория 425 (2ГУМ)
      • Коммуникационная сложность (Н. К. Верещагин)
        полугодовой спецкурс по выбору кафедры, четверг 18:30-20:05
      • Модальная логика (В. Б. Шехтман)
        полугодовой спецкурс по выбору кафедры,
        четверг 16:45–18:20, онлайн (Zoom), начало 8 сентября.
      • Хаотические динамические системы (А. Л. Семёнов, А. Я. Канель-Белов, Г. Мехди)
        спецкурс на английском языке,
        четверг 19:45–22:00, онлайн (Zoom), начало 22 сентября. Подробная информация о спецкурсе доступна по ссылке.
        Телеграм-канал: ссылка.

Спецкурсы МИАН (тоже можно сдавать)

Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).

      • Введение в теорию сложности (Е.В.Дашков)
        полугодовой спецкурс по выбору кафедры,
        понедельник 14:45 – 16:10, комн.430+Zoom, начало 12 сентября.
      • Основы теории множеств (С.О.Сперанский)
        полугодовой спецкурс по выбору кафедры,
        понедельник 16:25 – 17:50, комн.430+Zoom, начало 12 сентября.
      • Доказуемость и формальная арифметика (Л.Д.Беклемишев, Т.Л.Яворская)
        полугодовой спецкурс по выбору кафедры,
        вторник 14:45 – 16:10, комн.430+Zoom, начало 13 сентября.
      • Лямбда-исчисление (С.Л.Кузнецов)
        полугодовой спецкурс по выбору кафедры,
        вторник 16:25 – 17:50, комн.430+Zoom, начало 13 сентября.
      • Теория множеств 2 (В.Г.Кановей)
        полугодовой спецкурс по выбору кафедры,
        среда 13:10 – 14:35, комн.430+Zoom, начало 14 сентября.
      • Алгоритмические вопросы алгебры (А.Л.Таламбуца)
        полугодовой спецкурс по выбору кафедры,
        среда 14:45 – 16:10, комн.430+Zoom, начало 14 сентября.

[/su_spoiler]

[su_spoiler style=»fancy» icon=»arrow» title=»Спецкурсы (весна 2022)»]

Спецкурсы МИАН (тоже можно сдавать)

[/su_spoiler]

[su_spoiler style=»fancy» icon=»arrow» title=»Спецкурсы (осень 2021)»]

      • Математическая логика (Т. Л. Яворская, С. Л. Кузнецов)
        годовой спецкурс по выбору кафедры (для 3 курса)
        понедельник 16:45–18:20, очно, ауд. 13-03 ГЗ МГУ, начало 13 сентября.
      • Математическая биология и дискретная оптимизация (В. А. Любецкий)
        полугодовой спецкурс по выбору кафедры,
        понедельник 16:45–18:20, онлайн (Zoom), начало 27 сентября.
      • Интуиционистская логика (В. Е. Плиско)
        полугодовой спецкурс по выбору кафедры,
        вторник 16:45–18:20 онлайн (Zoom), начало 21 сентября.
      • Односторонние функции и их применения (Н. К. Верещагин)
        полугодовой спецкурс по выбору кафедры,
        вторник 18:30–20:05, онлайн (Zoom), начало 14 сентября.
      • Статистическая геометрия / Statistical geometry (new)
        (Г. Мехди, А.Я. Канель-Белов)
        полугодовой спецкурс по выбору кафедры,
        среда 19:00–21:00, онлайн (Zoom), начало 29 сентября.
      • Логики предикатов (В. Б. Шехтман)
        полугодовой спецкурс по выбору кафедры,
        четверг 16:45–18:20, онлайн (Zoom), начало 16 сентября.
      • Символическая динамика / Symbolic dynamics (new)
        (А.Л. Семенов, А.Я. Канель-Белов, Г. Мехди, И. Митрофанов)
        полугодовой спецкурс по выбору кафедры,
        четверг 19:00–21:00, онлайн (Zoom), начало 29 сентября.
      • Коды с исправлением ошибок / Error correcting codes (Н. К. Верещагин)
        полугодовой курс ЕНС на английском языке,
        пятница 12:30–14:05, онлайн (Zoom), начало 1 октября.
      • Модальная логика (Е. Е. Золин)
        годовой (= два полугодовых) спецкурс по выбору кафедры,
        пятница 18:30–20:05, онлайн (Zoom), начало ≈ 24 сентября.
      • Комбинаторика слов
        Полугодовой, по выбору кафедры (читается на англ. языке).
        Читают: проф. А.Я.Белов, Golafshan Mehdi, И.В.Митрофанов.
        День и время будут сообщены позже

      • Спецкурсы МИАН (тоже можно сдавать)

      • Введение в теорию сложности (В. В. Подольский)
        полугодовой спецкурс по выбору кафедры,
        понедельник 10:00–11:25, МИАН, комн. 430 + Zoom, начало 6 сентября.
      • Геометрическая теория групп (И. Г. Лысёнок)
        годовой (= два полугодовых) спецкурс по выбору кафедры,
        понедельник 11:30–12:55, онлайн (Zoom), начало 6 сентября.
      • Теория множеств 2 (Д. И. Савельев)
        полугодовой (2-я часть годового) спецкурс по выбору кафедры,
        понедельник 14:45–16:10, онлайн (Zoom), начало 13 сентября.
      • Лямбда-исчисление (С. Л. Кузнецов)
        полугодовой спецкурс по выбору кафедры,
        понедельник 16:25–17:50, МИАН, комн. 430 + Zoom, начало 6 сентября.
      • Доказуемость и формальная арифметика (Л. Д. Беклемишев, Т. Л. Яворская)
        полугодовой спецкурс по выбору кафедры,
        вторник 14:45–16:10, МИАН, комн. 430 + Zoom, начало 14 сентября.

[/su_spoiler]

[su_spoiler style=»fancy» icon=»arrow» title=»Спецкурсы (весна 2021)»]

Спецкурсы НОЦ МИАН, которые можно слушать и сдавать

(для получения Zoom-ссылки нужно заполнить форму, доступную по ссылке):

[/su_spoiler]

[su_spoiler style=»fancy» icon=»arrow» title=»Спецкурсы (осень 2020)»]

          • «Циклические доказательства»
            Полугодовой, по выбору кафедры.
            Читают: С. Л. Кузнецов, Д. С. Шамканов.
            Понедельник 16:00–17:45, в МИАН (конференц-зал, 9 этаж).
            Начало 7 сентября.
          • Комбинаторика слов (Combinatorics on words) (new)
            Полугодовой, по выбору кафедры (читается на англ. языке).
            Читают: проф. А.Я.Белов, Golafshan Mehdi, И.В.Митрофанов.
            Среда 19:00–21:00 (онлайн, через zoom)
            Начало 9 сентября.
            Адрес подключения здесь | Важные даты
          • Теория графов и биоинформатика
            Спецсеминар (просеминар) / полугодовой спецкурс по выбору студента.
            Читают: проф. В.А.Любецкий, К.Ю.Горбунов.
            Понедельник 17:45 (первые месяцы онлайн).
            Начало 28 сентября.
            Для получения ссылки ZOOM напишите К.Ю.Горбунову (gorbunov[o]iitp.ru).
          • Конструктивность в логике и математике
            Годовой, по выбору студента.
            Читает: доц. В. Е. Плиско.
            Четверг 17:45, дистанционно (zoom). Начало 17 сентября.
            Для получения ссылок обратиться по email к Плиско (см. страницу «Сотрудники).Спецсеминар Вычислимость и неклассические логики (В.Е.Плиско, В.Н.Крупский) будет проходить по понедельникам в 17:45, дистанционно (zoom). Первое занятие 21 сентября.
          • Алгебраическая логика
            Полугодовой, по выбору кафедры.
            Читает: проф. В.Б.Шехтман.
            Вторник 17:45—19:20, дистанционно (zoom).
            Начало 15 сентября.
            Конференция zoom: 831 4225 1858.
            Для получения пароля обратиться по email к В.Б.Шехтману (vshehtman[a]gmail.com).
          • Модальная логика
            Годовой, по выбору кафедры.
            Читает: с.н.с. Е.Е.Золин.
            Пятница 17:45 (предположительно).
            Начало: 25 сентября (предположительно).

[/su_spoiler]