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

Механико-математического факультета МГУ


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

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

Архив расписаний спецкурсов прошлых семестров — в конце страницы.

Содержание спецкурсов прошлых лет (архив)

 

Спецкурсы (весна 2021):

    • «Математическая логика» (С.Л. Кузнецов)
      (обязательный с/к для студ. 3 курса кафедры)
      четверг 15:00–16:35, начало 11 февраля.
    • Спецсеминар «Вычислимость и неклассические логики»
      (руководители — В.Е.Плиско, В.Н.Крупский)
      понедельник 16:45–18:20, начало 1 марта.
      Идентификатор Zoom спрятан здесь

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

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

 

Спецкурсы (осень 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 сентября (предположительно).

Просеминары (для студентов младших курсов)

Страницы научных семинаров

Расписания спецкурсов и спецсеминаров прошлых лет

весна 2021 | осень 2020
весна 2020 | осень 2019
весна 2019 | осень 2018
весна 2018 | осень 2017
весна 2017 | осень 2016
весна 2016 | осень 2015
весна 2015 | осень 2014
весна 2014 | осень 2013