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

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


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

(они все полугодовые)
    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 / Беклемишев Л.Д., Яворская Т.Л.

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

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

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *