Кафедра математической логики
и теории алгоритмов
механико-математического факультета
Московского государственного университета

НОВОСТИ

2020.10.26:

Научная конференция студентов, аспирантов и молодых ученых «Ломоносов 2020»
пройдет в МГУ с 10 по 27 ноября 2020 года в дистанционном формате.
Заседание подсекции «Математической логики и теории алгоритмов»
состоится в среду 11 ноября в 18:30 в рамках «Научно-исследовательского семинара».

2020.10.23:

Факультатив для 2-го курса — 4-е занятие, тема:
«Деревья разрешения и вопросная сложность»
(проф. Н.К.Верещагин, аспиранты М.Ахмедов и И.Смирнов):
• 26 октября (ПН) 17:45–19:20 (для 2-го потока) ауд. 413.
• 27 октября (ВТ) 15:45–17:20 (для 1-го потока) ауд. 428.
Подробнее...

2020.04.21:

В среду 21 октября 2020 года в 18:30 на очередном заседании
Научно-исследовательского семинара по математической логике
состоялась Научная конференция «Ломоносовские чтения – 2020»,
секция «Математическая логика». Доступно видео

2020.09.27:

Спецкурс «Теория графов и биоинформатика» (онлайн, проф. В.А.Любецкий) начинается 28 сентября в 17:45. | Материалы (см. файл 2020) | Видеозаписи лекций (YouTube)

2020.09.22:

Спецкурс «Модальная логика» (онлайн, с.н.с. Е.Е.Золин) начинается 25 сентября в 18:30. Подробнее...

2020.09.19:

Спецкурс «Теория доказательств и формальная арифметика» (Л. Д. Беклемишев, Т. Л. Яворская) начинается 22 сентября (вторник) — онлайн (zoom). Для подключения необходимо заполнить форму.

2020.09.09:

Спецкурс «Комбинаторика слов» (онлайн, проф. А.Я.Белов, G.Mehdi) начинается 9 сентября (среда) – вводная лекция; 16 сентября – основная лекция. Подробнее...

2020.09.08:

Спецкурс «Апериодические замощения» (онлайн, проф. Н.К.Верещагин) начинается 16 сентября (среда). Подробнее...

2020.09.07:

Спецкурс «Алгебраическая логика» (онлайн, проф. В.Б.Шехтман) начинается 15 сентября (вторник). Подробнее...

2020.09.04:

Спецкурс «Рациональные интерактивные доказательства» (онлайн, Д.Мусатов) начинается 10 сентября.

2020.09.03:

Спецкурс «Циклические доказательства» (в МИАН, С.Кузнецов, Д.Шамканов) начинается 7 сентября.

2020.09.01:

Лекции «Введение в математическую логику и теорию алгоритмов» (2 курс, Л.Д.Беклемишев, М.Р.Пентус).

2020.05.01:

Дорогие студенты! Напоминаем, что подать заявление о выборе кафедры можно по этой ссылке:
Сайт мехмата \ Учебный процесс \ Подать заявление на кафедру

---

Все новости