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

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

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

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

---

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

• • 2019–2020: PDF | Excel

 

• • 2018–2019: PDF | Excel

 

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

 

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

 

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

 

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

 

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

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