Спецкурсы
База данных мехмата спецкурсов и спецсеминаров, засчитываемых студентам в текущем учебном году:
• спецкурсы | • спецсеминары |
Спецкурсы: весна 2024
- Алгоритмическая статистика
(Н. К. Верещагин)
полугодовой спецкурс по выбору кафедры - Конструктивная логика (В. Е. Плиско)
полугодовой спецкурс по выбору кафедры, пятница 18:30-20:05, начало 16 февраля.
Этот спецкурс — вторая часть годового спецкурса Конструктивность в математике и логике. - Математическая биология (В. А. Любецкий)
полугодовой спецкурс по выбору кафедры, понедельник 16:45–18:20, начало 19 февраля.
Этот спецкурс — вторая часть годового спецкурса Современная теория множеств, дискретная оптимизация, математическая биология.
Ссылка на материалы спецкурса.
Контакты:
http://logic.math.msu.ru/staff/plisko/.
Литература, связанная с материалами курса:
В.Е.Плиско, В.Х.Хаханян. Интуиционистская логика. М.:Издательство при мех.-мат. факультете МГУ, 2009.
В.Е.Плиско. Лекции по конструктивной логике. М.: ООО «Луч», 2021.
gorbunov@iitp.ru свои ФИО, курс и группу, факультет, свой e-mail и мобильный.
Спецкурсы и семинары МИАН (тоже можно сдавать)
Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).
Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.
- Введение в неклассические логики (С.О.Сперанский.)
среда, 10:00, Zoom, начало 14 февраля. - Разрешимые и неразрешимые теории (С.О.Сперанский.)
среда, 16:20, комн.530, начало 14 февраля. - Контекстно-свободные языки (М.Р.Пентус.)
вторник, 18:00, комн.430, начало 13 февраля. - Введение в теорию моделей (Л.Д. Беклемишев, Т.Л. Яворская.)
вторник, 16:00, комн.303, начало 13 февраля.
Также в МИАН продолжают работу научные семинары:
- Вероятностные и субструктурные логические системы. (С. Л. Кузнецов и С. О. Сперанский.)
среда, 18:15, комн.530, начало 14 февраля.
Первое заседание в весеннем семестре — 15 февраля. - Семинар по геометрической теории групп (в рамках НОЦ). (И.Г. Лысенок, А.Л. Таламбуца.)
четверг, 18:00, комн.430, начало 14 сентября.
Первое заседание в весеннем семестре — 15 февраля. - Теория доказательств / Logic Online Seminar (Л.Д. Беклемишев.)
Какие спецкурсы нужно сдавать студенту мехмата?
Остальным необходимо смотреть рабочие планы мехмата.
Спецкурсы по выбору кафедры ⊆ спецкурсы по выбору студента.
Курс | Сдаваемые спецкурсы |
3 курс | годовой спецкурс по выбору кафедры (экзамен) |
4 курс | годовой спецкурс по выбору студента (экзамен) |
4 курс осень | Курс ЕНС (любой на выбор студента) (экзамен) |
4 курс весна | Курс ЕНС (любой на выбор студента) (экзамен) |
5 курс осень | 3 полугодовых с/к по выбору кафедры (экз+экз+зач) Курс ЕНС (любой на выбор студента) (экзамен) |
5 курс весна | 2 полугодовых с/к по выбору кафедры (экз + зачет) Спецкурс на иностранном языке (экзамен) Курс ЕНС (любой на выбор студента) (зачет) |
6 курс осень | Курс ЕНС (любой на выбор студента) (зачет) ЕНС на иностранном языке (зачет) 4 полугодовых спецкурса по выбору студента (экз+экз+экз+экз) |
6 курс весна | — |
- Современная теория множеств, дискретная оптимизация, математическая биология (В. А. Любецкий)
годовой спецкурс по выбору кафедры, понедельник 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ГУМ).
Этот спецкурс — первая часть годового спецкурса Конструктивность в математике и логике. - Колмогоровская сложность (Н. К. Верещагин)
полугодовой спецкурс по выбору кафедры, четверг 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.
ОЧЕНЬ ВАЖНО: пожалуйста, присоединяйтесь к этому каналу для получения ссылки на класс и т.д.
Перед спецкурсом в 16:45 работает спецсеминар «Вычислимость и неклассические логики» (в той же аудитории 425).
В спецкурсе излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. От слушателей не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в курсе.
Контакты:
http://logic.math.msu.ru/staff/plisko/.
Литература, связанная с материалами курса:
В.Е.Плиско, В.Х.Хаханян. Интуиционистская логика. М.:Издательство при мех.-мат. факультете МГУ, 2009.
В.Е.Плиско. Лекции по конструктивной логике. М.: ООО «Луч», 2021.
Спецкурсы и семинары МИАН (тоже можно сдавать)
Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).
Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.
- Доказуемость и формальная арифметика, часть 2 (Л.Д. Беклемишев, Т.Л. Яворская.)
вторник, 16:45, комн.303, начало 12 сентября. - Окрестностная семантика модальных логик (А.В. Кудинов, Д.С. Шамканов.)
вторник, 18:30, комн.430, начало 12 сентября. - Алгоритмические вопросы алгебры (И.Г. Лысенок.)
вторник, 14:45, комн.430, начало 12 сентября. - Дескриптивная теория множеств (В.Г. Кановей.)
среда, 18:00, комн.313, начало 13 сентября. - Введение в теорию сложности (Д.В. Мусатов.)
понедельник, 14:45, комн.430, начало 11 сентября. - Основы теории множеств (С.О. Сперанский.)
понедельник, 16:50, комн.530, начало 11 сентября. - Алгебраическая логика и категории (В.Б. Шехтман.)
четверг, 18:00, комн.104, начало 14 сентября.
- Конструктивная логика (В. Е. Плиско)
Полугодовой спецкурс по выбору кафедры.
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 февраля. Все курсы являются полугодовыми курсами по выбору кафедры.
- Логические и алгебраические методы в языкознании (Семинар Научно-образовательного центра (НОЦ) МИАН, руководители — С.Л. Кузнецов, С.О. Сперанский)
среда 18:00, комн.313+Zoom, начало 15 февраля. - Неклассические логики (Курс базовой кафедры МИАН в МФТИ, лектор — А.В. Кудинов)
понедельник 14:45, комн.430+Zoom, начало 6 февраля. - Введение в геометрическую теорию групп II (Курс НОЦ МИАН, лектор — И.Г. Лысенок)
понедельник 18:00, комн.430+Zoom, начало 13 февраля. - Геометрическая теория групп
(Семинар НОЦ МИАН, руководители — И.Г. Лысенок, А.Л. Таламбуца)
четверг 18:00, комн.430+Zoom, начало 16 февраля. - Нестандартные модели арифметики и анализа
(Курс НОЦ МИАН, лектор — С.О. Сперанский)
понедельник 16:30, комн.530+Zoom, начало 13 февраля. - Логики свидетельств
(Курс НОЦ МИАН, лектор — Т.Л. Яворская)
вторник 18:00, комн.303+Zoom, начало 14 февраля. - Также продолжает работу научный семинар “Теория доказательств” / “Logic Online Seminar” по руководством Л.Д. Беклемишева (понедельник 18:30, ауд.530+Zoom, начало 13 февраля).
- Математическая биология и дискретная оптимизация (В. А. Любецкий)
годовой спецкурс по выбору кафедры, понедельник 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 сентября.
- Построение генераторов псевдослучайных чисел (Н.К. Верещагин)
полугодовой спецкурс по выбору кафедры
вторник 18:30–20:05, он-лайн (Zoom), начало 8 февраля. - Дополнительные главы математической логики (Н.К. Верещагин, Е.Е. Золин)
полугодовой спецкурс на английском языке для 5-го курса
четверг 15:00–16:35, он-лайн (Zoom), начало 10 февраля. - Статистическая геометрия (2) / Statistical geometry (2)
(Г. Мехди, А.Я. Канель-Белов)
полугодовой спецкурс по выбору кафедры,
четверг 17:00–19:00, онлайн (Zoom), начало 3 марта. - Математическая биология и дискретная оптимизация (В. А. Любецкий)
полугодовой спецкурс по выбору кафедры,
понедельник 16:45–18:20, онлайн (Zoom), начало 21 февраля. - Символическая динамика (2) / Symbolic dynamics (2)
(А.Л. Семенов, А.Я. Канель-Белов, Г. Мехди, И. Митрофанов)
полугодовой спецкурс по выбору кафедры,
среда 19:00–21:00, онлайн (Zoom), начало 2 марта. - Конструктивная логика (В. Е. Плиско)
полугодовой спецкурс по выбору кафедры,
вторник 16:45–18:20 онлайн (Zoom). Для получения ссылки следует обратиться по адресу veplisko@yandex.ru. - ЕНС Математическая логика и алгоритмы (В.Б. Шехтман)
четверг 16:45-18:20, начало 10 февраля
Спецкурсы МИАН (тоже можно сдавать)
- Геометрическая теория групп (И. Г. Лысёнок)
годовой (= два полугодовых) спецкурс по выбору кафедры,
понедельник 11:30–12:55, онлайн (Zoom), начало 7 февраля. - Теория множеств (Д.И. Савельев)
полугодовой (1-я часть годового), спецкурс по выбору кафедры
понедельник 16:25-17:50, МИАН, комн. 430 + Zoom, начало 7 февраля - Неклассические логики (Т.Л. Яворская)
полугодовой спецкурс
вторник 14:45–16:10, МИАН, комн. 430 + Zoom, начало 8 февраля - Структурная теория доказательств и алгебраическая логика (С.О. Сперанский)
полугодовой спецкурс
понедельник 14:45-16:10, МИАН, комн. 430 + Zoom, начало 7 февраля
- Математическая логика (Т. Л. Яворская, С. Л. Кузнецов)
годовой спецкурс по выбору кафедры (для 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 сентября.
-
- ЕНС «Математическая логика и алгоритмы» 4 курс (В.Б.Шехтман)
четверг 16:45–18:20, начало 11 февраля. - «Сложность вычислений» (Н.К.Верещагин)
вторник 18:30–20:05, начало 16 февраля - «Математическая логика» (С.Л. Кузнецов)
(обязательный с/к для студ. 3 курса кафедры)
четверг 15:00–16:35, начало 11 февраля. - «Конструктивная логика» (В.Е. Плиско)
четверг 16:45–18:20, начало 18 февраля. - Спецсеминар «Вычислимость и неклассические логики»
(руководители — В.Е.Плиско, В.Н.Крупский)
понедельник 16:45–18:20, начало 1 марта. - «Теория графов и биоинформатика» (В.А. Любецкий)
понедельник 17:45–19:20, начало 15 февраля. - «Геометрия слов» (А.Л. Семенов, А.Я. Канель-Белов,
М. Голафшан, И.В. Митрофанов, Ф. Рухович)
среда 19:00–21:00, начало 10 февраля. Постер - «Модальная логика» (Е.Е. Золин)
пятница 18:30 или 19:00, дата начала появится позже. - «Доп. главы классической логики» (Е.Е. Золин)
(спецкурс на англ. яз. для 5 курса, но могут посещать и другие)
среда 10:45–12:20, начало 10 февраля
- ЕНС «Математическая логика и алгоритмы» 4 курс (В.Б.Шехтман)
Спецкурсы НОЦ МИАН, которые можно слушать и сдавать
(для получения Zoom-ссылки нужно заполнить форму, доступную по ссылке):
- «Неклассические логики» (Л.Д. Беклемишев, Т.Л. Яворская)
понедельник 11:30–12:55, начало 8 февраля. - «Теория множеств 1» (Д.И. Савельев)
понедельник 15:05–16:30, начало 8 февраля. - «Структурная теория доказательств и алгебраическая логика» (С.Л. Кузнецов)
понедельник 16:35–18:00, начало 8 февраля. - «Уравнения в группах» (И.Г. Лысёнок)
вторник 15:00–16:30, начало 9 февраля - «Алгоритмические вопросы алгебры» (А.Л.Таламбуца)
среда 17:00–18:20, начало 10 февраля
-
-
- «Теория доказательств и формальная арифметика»
Читают: Л. Д. Беклемишев, Т. Л. Яворская
Вторник 14:30–16:00 в МИАН (ауд. 530).
Начало 22 сентября (первая лекция — онлайн).
Записаться на курс можно по ссылке выше.
- «Теория доказательств и формальная арифметика»
-
-
-
- «Циклические доказательства»
Полугодовой, по выбору кафедры.
Читают: С. Л. Кузнецов, Д. С. Шамканов.
Понедельник 16:00–17:45, в МИАН (конференц-зал, 9 этаж).
Начало 7 сентября.
- «Циклические доказательства»
-
-
-
- Апериодические замощения | Программа
Полугодовой, по выбору кафедры.
Читает: проф. Н. К. Верещагин.
Среда 16:00-17:30, начало 16 сентября.
Лекции читаются будут читаться на платформе Google Meet, ссылка:
http://meet.google.com/oqm-hauf-cjx
- Апериодические замощения | Программа
-
-
-
- Комбинаторика слов (Combinatorics on words) (new)
Полугодовой, по выбору кафедры (читается на англ. языке).
Читают: проф. А.Я.Белов, Golafshan Mehdi, И.В.Митрофанов.
Среда 19:00–21:00 (онлайн, через zoom)
Начало 9 сентября.
Адрес подключения здесь | Важные даты
- Комбинаторика слов (Combinatorics on words) (new)
-
-
-
- Теория графов и биоинформатика
Спецсеминар (просеминар) / полугодовой спецкурс по выбору студента.
Читают: проф. В.А.Любецкий, К.Ю.Горбунов.
Понедельник 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 сентября (предположительно).
- Модальная логика
-