На главную

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


2019
2019.04.24:
В среду 24 апреля на очередном заседании Научно-исследовательского семинара по математической логике состоялась Научная конференция «Ломоносовские чтения – 2019», секция «Математическая логика». С докладами выступили 4 участника. Доступно видео.
2019.04.10:
В среду 10 апреля на очередном заседании Научно-исследовательского семинара по математической логике состоялась Конференция студентов, аспирантов и молодых ученых «Ломоносов – 2019», секция «Математическая логика». С докладами выступили 6 участников. Доступно видео.
2019.04.02:
На очередном заседании Московского математического общества состоялся доклад нашего выпускника, сотрудника МИАН Ф.Н.Пахомова (науч. рук. Л.Д.Беклемишев) на тему «О границах применимости второй теоремы Гёделя о неполноте».
2019.02.05:
Даты пересдач по логике (2-й курс): 14 и 21 февраля (четверг), 16:45, аудитории 424 и 425.
2019.02.05:
Вывешено расписание спецкурсов весеннего семестра 2019 года. Следите за обновлениями таблицы!
2019.02.01:
Дата встречи кафедры со студентами 2 курса — 25 апреля (четверг), в 16:45, в ауд. 16-10.
2019.01.01:
Аттестация аспирантов — 15 января в 15:00 в ауд. 416 (2ГУМ).
2018
2018.12.19:
Состоялось заседание Научно-исследовательского семинара по математической логике, посвященное памяти проф. В. А. Успенского. Доступны фото и видео.
2018.12.15:
Программа курса «Введение в математическую логику и теорию алгоритмов», конспекты лекций, а также расписание экзаменов зимней сессии по данному курсу размещена на странице курса. Досрочный экзамен — 26 декабря в 10:00 в ауд. 429.