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

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


Спецкурсы кафедры математической логики и теории алгоритмов для студентов и аспирантов

Спецкурсы для студентов

Спецкурсы бывают «по выбору кафедры» и «по выбору студента».
И те и другие бывают годовые и полугодовые.

Примечание. Не все названия из этих списков фигурируют в расписании спецкурсов. Во-первых, не все спецкурсы читаются каждый год (но их названия нужно было зафиксировать заранее). Во-вторых, если спецкурс годовой, а нужно зачесть два полугодовых, то в расписании значится годовое название, а для проставления оценок зарезервированы соответствующие ему два полугодовых названия (какие именно — подскажет лектор). Любой спецкурс из списка «по выбору кафедры» можно зачесть в качестве спецкурса «по выбору студента» (соответствующей длительности).


Официальные утвержденные списки спецкурсов для студентов
доступны также на сайте мех-мат факультета здесь.

 

 

    • 2017–2018: HTML

 


Спецкурсы на иностранном языке

(они все полугодовые)

  1. Дополнительные главы классической логики (на английском) / Advanced course in classical logic / Золин Е.Е. (будет и весной 2019)
  2. Основы неклассической логики (на английском) / Basics of non-classical logics / Яворская Т.Л. (пока не читается)
  3. Коды с исправлением ошибок (ЕНС на английском) / Error соrrecting codes / Верещагин Н.К. (читается осенью 2018)

Межфакультетские курсы (МФК)

(они все полугодовые)

  1. весна 2018: Категориальные грамматики / Пентус М.Р., Кузнецов С.Л., Сорокин А.А.
  2. весна 2018: Математические модели в биоинформатике / Любецкий В.А., Селивёрстов А.В.
  3. осень 2017: Математические модели в лингвистике / Пентус М.Р., Сорокин А.А. Пиперски А.Ч.
  4. весна 2016: Категориальные грамматики / Пентус М.Р., Кузнецов С.Л., Сорокин А.А.
  5. осень 2015: Математические модели в лингвистике / Пентус М.Р., Сорокин А.А. Пиперски А.Ч.
  6. осень 2014: Что такое число? / Семенов А.Л., Успенский А.В., Золин Е.Е., Яворская Т.Л.

Спецкурсы для аспирантов

(они все полугодовые)
    1. Доказательства независимости в теории множеств / Independence proofs in set theory / Верещагин Н.К.
    2. Колмогоровская сложность / Kolmogorov complexity / Верещагин Н.К.
    3. Коммуникационная сложность / Communication complexity / Верещагин Н.К.
    4. Сложность вычислений / Computational complexity / Верещагин Н.К.
    5. Интерактивные доказательства и их применения / Interactive proofs and their applications / Верещагин Н.К.

 

    1. Теория моделей / Model theory / Шехтман В.Б.
    2. Пространственные логики / Spatial logics / Шехтман В.Б.

 

    1. Контекстно-свободные языки / Context-free languages / Пентус М.Р.
    2. Категориальные грамматики Ламбека / Lambek categorial grammars / Кузнецов С.Л.

 

    1. Дескрипционная логика / Description logic / Золин Е.Е.
    2. Модальная логика / Modal logic / Золин Е.Е.

 

  1. Конструктивность в математике и логике / Constructivity in mathematics and logic / Плиско В.Е.
  2. Теория доказательств и формальная арифметика / Proof theory and formal arithmetic / Беклемишев Л.Д., Яворская Т.Л.

Студенты отделения «Механика» нашего факультета не могут сдавать спецкурсы отделения «Математика» из списка «по выбору кафедры», и наоборот (они являются спецкурсами специализации данного отделения).

Собрал информацию: Е.Е.Золин